Robustness Verification on MNIST epsilon=0.3 (first 200 examples)
70.5Verified Accuracyβ-CROWN FSB
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| β-CROWN FSBModel=CNN-A-Adv, Epsilon=0.32021.03 | 70.5 | 21.1 | 76.5 | |
| β-CROWN FSBModel=CNN-B-Adv, Epsilon=0.32021.03 | 46.5 | 32.2 | 65 | |
| PRIMAModel=CNN-A-Adv, Epsilon=0.32021.03 | 44.5 | 135.9 | 76.5 | |
| SDP-FOModel=CNN-A-Adv, Epsilon=0.32021.03 | 43.4 | 20 | 76.5 | |
| PRIMAModel=CNN-B-Adv, Epsilon=0.32021.03 | 38 | 343.6 | 65 | |
| SDP-FOModel=CNN-B-Adv, Epsilon=0.32021.03 | 32.8 | 25 | 65 | |
| CROWN/DeepPolyModel=CNN-B-Adv, Epsilon=0.32021.03 | 21.5 | 0.5 | 65 | |
| CROWN/DeepPolyModel=CNN-A-Adv, Epsilon=0.32021.03 | 1 | 0.1 | 76.5 |