Robustness Verification on CIFAR-10
88.89Verified AccuracyClip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=cifar10-resnet, Verifier Backend=MIP cuts2025.12 | 88.89 | 16.73 | |
| Clip-and-VerifyModel=cifar10-resnet, Verifier Backend=BICCOS2025.12 | 88.89 | 11.8 | |
| GCP-CROWNModel=cifar10-resnet, MIP cuts=true2025.12 | 87.5 | 17.99 | |
| BICCOSModel=cifar10-resnet2025.12 | 87.5 | 16.73 | |
| Clip-and-VerifyModel=cifar10-resnet, Verifier Backend=β-CROWN2025.12 | 86.11 | 6.06 | |
| β-CROWNModel=cifar10-resnet2025.12 | 83.33 | 9.17 |