qqyzk / provable-robustness-max-linear-regions Goto Github PK
View Code? Open in Web Editor NEWThis project forked from max-andr/provable-robustness-max-linear-regions
Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]