Robustness Verification on CIFAR
0.605Verified AccuracyClip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=CNN-B-Adv-4, Epsilon=2/255, Verifier Backend=BICCOS2025.12 | 0.605 | 5.55 | |
| BICCOSModel=CNN-B-Adv-4, Epsilon=2/2552025.12 | 0.595 | 4.7 | |
| Clip-and-VerifyModel=CNN-A-Adv, Epsilon=2/255, Verifier Backend=BICCOS2025.12 | 0.485 | 3.08 | |
| BICCOSModel=CNN-A-Adv-4, Epsilon=2/2552025.12 | 0.485 | 1.55 | |
| Clip-and-VerifyModel=CNN-A-Adv-4, Epsilon=2/255, Verifier Backend=BICCOS2025.12 | 0.485 | 1.31 | |
| BICCOSModel=CNN-A-Mix, Epsilon=2/2552025.12 | 0.48 | 9 | |
| Clip-and-VerifyModel=CNN-A-Mix, Epsilon=2/255, Verifier Backend=BICCOS2025.12 | 0.48 | 7.45 | |
| β-CROWNModel=CNN-A-Adv, Epsilon=2/2552025.12 | 0.455 | 5.26 |