Huan Zhang

icon indicating a website link http://www.huan-zhang.com

icon company University of Illinois icon location Urbana-Champaign icon location Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)

Results 1 issues of Huan Zhang

Pretrained model download link broken

7 comment

The pretrained link http://alpha.openai.com/pxpp.zip seems broken. The hostname alpha.openai.com cannot be resolved. Could you please fix the link or provide another mirror? Thank you!