DynaMath
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
{{ message }}