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:

Compatibility

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.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
auto_LiRPA		auto_LiRPA
datasets/sdp		datasets/sdp
models		models
.gitignore		.gitignore
README.md		README.md
SDP_CROWN_av_example_config.yaml		SDP_CROWN_av_example_config.yaml
debug_conv_big_vs_convlarge.py		debug_conv_big_vs_convlarge.py
environment.yml		environment.yml
models.py		models.py
pyproject.toml		pyproject.toml
sdp_crown.py		sdp_crown.py
utils.py		utils.py
uv.lock		uv.lock