Robustness Verification on CIFAR (test)
62Verification RateBICCOS
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| BICCOSModel=CNN-B-Adv, epsilon=2/255, timeout threshold=200s2024.12 | 62 | 8.27 | |
| BICCOSModel=CNN-B-Adv-4, epsilon=2/255, timeout threshold=200s2024.12 | 62 | 8.27 | |
| BICCOSModel=CNN-A-Mix-4, epsilon=2/255, timeout threshold=200s2024.12 | 56 | 5.23 | |
| BICCOSModel=CNN-A-Adv, epsilon=2/255, timeout threshold=200s2024.12 | 49 | 8.94 | |
| BICCOSModel=CNN-A-Adv-4, epsilon=2/255, timeout threshold=200s2024.12 | 48.5 | 1.81 | |
| BICCOSModel=CNN-A-Mix, epsilon=2/255, timeout threshold=200s2024.12 | 48.5 | 10.34 | |
| GCP-CROWN (MIP cuts)Model=CNN-A-Adv, epsilon=2/255, timeout threshold=200s2024.12 | 48.5 | 4.78 | |
| B-CROWNModel=CNN-A-Adv, epsilon=2/255, timeout threshold=200s2024.12 | 45.5 | 5.17 | |
| MN-BaBModel=CNN-A-Adv, epsilon=2/255, timeout threshold=600s2024.12 | 42.5 | 68.3 |