Robustness Verification on vision-transformer 2024
61Verified AccuracyClip-and-Verify
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyModel=vision-transformer 2024, Verifier Backend=β-CROWN2025.12 | 61 | 10.81 | |
| β-CROWNModel=vision-transformer 20242025.12 | 59 | 22.04 |