huanzhang12 / crown-robustness-certification Goto Github PK
View Code? Open in Web Editor NEWCROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/Verified-Intelligence/auto_LiRPA instead)
Home Page: https://github.com/Verified-Intelligence/auto_LiRPA
License: Other