vivid04 / certifiedrelurobustness Goto Github PK
View Code? Open in Web Editor NEWThis project forked from huanzhang12/certifiedrelurobustness
Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)
Home Page: https://github.com/Verified-Intelligence/auto_LiRPA
License: BSD 2-Clause "Simplified" License