SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming.

Hong-Ming Chiu, Hao Chen, Huan Zhang, Richard Y. Zhang

Browse the full ICML paper archive.