SDP-CROWN_auto-verify: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
Note: Credit for the SDP-CROWN verifier goes to Chiu et al. and the OVAL Research Group.
Please refer to the original SDP-CROWN research repository and the corresponding paper:
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
ICML 2025
Hong-Ming Chiu, Hao Chen, Huan Zhang, Richard Y. Zhang
This version of SDP-CROWN is compatible with ada-verona version >= 1.0.4 (Code on GitHub, PyPI release pending) and auto-verify version >= 1.0.0.