Department of Electrical and Computer Engineering, University of Illinois at Urbana–Champaign
Hong-Ming Chiu, Richard Y. Zhang
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations