/CROWN-Robustness-Certification

CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/Verified-Intelligence/auto_LiRPA instead)

Primary LanguagePythonOtherNOASSERTION

Watchers