Robustness Verification on MNIST
76Verified AccuracyBICCOS
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| BICCOSModel=CNN-A-Adv, Epsilon=0.32025.12 | 76 | 6.91 | |
| Clip-and-VerifyModel=CNN-A-Adv, Epsilon=0.3, Verifier Backend=BICCOS2025.12 | 76 | 6.39 | |
| Clip-and-VerifyModel=CNN-A-Adv, Epsilon=0.3, Verifier Backend=β-CROWN2025.12 | 74 | 3.33 | |
| Clip-and-VerifyModel=CNN-A-Adv, Epsilon=0.3, Verifier Backend=MIP cuts2025.12 | 73.5 | 5.15 | |
| GCP-CROWNModel=CNN-A-Adv, Epsilon=0.3, MIP cuts=true2025.12 | 71.5 | 6.64 | |
| β-CROWNModel=CNN-A-Adv, Epsilon=0.32025.12 | 71 | 4.28 |