Adversarial Robustness Verification on ERAN MNIST 6x500 sigmoid (100 images)
33Certified Countalpha-CROWN
Evaluation results
| Method | Links | ||
|---|---|---|---|
| alpha-CROWNOptimization Stage=opt2026.06 | 33 | 3 | |
| SLiR (exact)Optimization Stage=opt2026.06 | 33 | 4 | |
| SLiROptimization Stage=opt2026.06 | 31 | 5 | |
| SLiROptimization Stage=init2026.06 | 29 | 257 | |
| SLiR (exact)Optimization Stage=init2026.06 | 29 | 205 | |
| alpha-CROWNOptimization Stage=init2026.06 | 27 | 16.3 |