Overcoming the Convex Relaxation Barrier for Neural Network Verification via Nonconvex Low-Rank Semidefinite Relaxations. - Chiu, Hong-Ming; Zhang, Richard Y. (CoRR, 2022)