Robustness Verification on cifar100 2024
65.5Verified AccuracyClip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=cifar100-2024, Verifier Backend=BICCOS2025.12 | 65.5 | 8.17 | |
| Clip-and-VerifyModel=cifar100-2024, Verifier Backend=β-CROWN2025.12 | 63 | 6.59 | |
| BICCOSModel=cifar100-20242025.12 | 60.5 | 8.75 | |
| β-CROWNModel=cifar100-20242025.12 | 59.5 | 8.15 |