Block or Report
Block or report zhxei1
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Huan Zhang
huanzhang12
Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
University of Illinois Urbana-Champaign