Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
-
University of Illinois
- Urbana-Champaign
- http://www.huan-zhang.com
Highlights
- Pro
Block or Report
Block or report huanzhang12
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.