Robustness Verification on CIFAR-10 epsilon=2/255 (first 200 examples)
54Verified Accuracyβ-CROWN FSB
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| β-CROWN FSBModel=CNN-B-Adv-4, Epsilon=2/2552021.03 | 54 | 11.6 | 63.5 | |
| PRIMAModel=CNN-B-Adv-4, Epsilon=2/2552021.03 | 53.5 | 43.8 | 63.5 | |
| β-CROWN FSBModel=CNN-A-Mix-4, Epsilon=2/2552021.03 | 50.5 | 5.9 | 57.5 | |
| PRIMAModel=CNN-A-Mix-4, Epsilon=2/2552021.03 | 48.5 | 7 | 57.5 | |
| SDP-FOModel=CNN-A-Mix-4, Epsilon=2/2552021.03 | 47.8 | 25 | 57.5 | |
| SDP-FOModel=CNN-B-Adv-4, Epsilon=2/2552021.03 | 46 | 25 | 63.5 | |
| β-CROWN FSBModel=CNN-A-Adv-4, Epsilon=2/2552021.03 | 46 | 5.6 | 49.5 | |
| PRIMAModel=CNN-A-Adv-4, Epsilon=2/2552021.03 | 45 | 4.9 | 49.5 | |
| β-CROWN FSBModel=CNN-A-Adv, Epsilon=2/2552021.03 | 44 | 5.8 | 50 | |
| CROWN/DeepPolyModel=CNN-B-Adv-4, Epsilon=2/2552021.03 | 43.5 | 0.9 | 63.5 | |
| PRIMAModel=CNN-A-Adv, Epsilon=2/2552021.03 | 41.5 | 4.8 | 50 | |
| CROWN/DeepPolyModel=CNN-A-Adv-4, Epsilon=2/2552021.03 | 41.5 | 0.7 | 49.5 | |
| β-CROWN FSBModel=CNN-A-Mix, Epsilon=2/2552021.03 | 41.5 | 49.6 | 53 | |
| SDP-FOModel=CNN-A-Adv-4, Epsilon=2/2552021.03 | 40 | 25 | 49.5 | |
| SDP-FOModel=CNN-A-Adv, Epsilon=2/2552021.03 | 39.6 | 25 | 50 | |
| SDP-FOModel=CNN-A-Mix, Epsilon=2/2552021.03 | 39.6 | 25 | 53 | |
| CROWN/DeepPolyModel=CNN-A-Mix-4, Epsilon=2/2552021.03 | 38 | 0.5 | 57.5 | |
| PRIMAModel=CNN-A-Mix, Epsilon=2/2552021.03 | 37.5 | 34.3 | 53 | |
| CROWN/DeepPolyModel=CNN-A-Adv, Epsilon=2/2552021.03 | 35.5 | 0.6 | 50 | |
| CROWN/DeepPolyModel=CNN-A-Mix, Epsilon=2/2552021.03 | 23.5 | 0.4 | 53 |