Robustness Verification on OVAL 22
90Verified AccuracyClip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=oval22, Verifier Backend=MIP cuts2025.12 | 90 | 45.52 | |
| Clip-and-VerifyModel=oval22, Verifier Backend=BICCOS2025.12 | 90 | 46.48 | |
| GCP-CROWNModel=oval22, MIP cuts=true2025.12 | 83.33 | 63.53 | |
| BICCOSModel=oval222025.12 | 83.33 | 31.72 | |
| Clip-and-VerifyModel=oval22, Verifier Backend=β-CROWN2025.12 | 73.33 | 28.15 | |
| β-CROWNModel=oval222025.12 | 66.66 | 29.39 |