Robustness Verification on tinyimagenet 2024
72Verified Accuracy (%)Clip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=tinyimagenet-2024, Verifier Backend=BICCOS2025.12 | 72 | 10.48 | |
| Clip-and-VerifyModel=tinyimagenet-2024, Verifier Backend=β-CROWN2025.12 | 70 | 9.48 | |
| BICCOSModel=tinyimagenet-20242025.12 | 69 | 9.73 | |
| β-CROWNModel=tinyimagenet-20242025.12 | 67.5 | 8.65 |