Adversarial Robustness Verification on ERAN MNIST 6x500 tanh (100 images)
21Certified CountSLiR
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SLiROptimization Stage=opt2026.06 | 21 | 11 | |
| SLiR (exact)Optimization Stage=opt2026.06 | 21 | 4 | |
| alpha-CROWNOptimization Stage=opt2026.06 | 20 | 3 | |
| SLiROptimization Stage=init2026.06 | 16 | 541 | |
| SLiR (exact)Optimization Stage=init2026.06 | 16 | 201 | |
| alpha-CROWNOptimization Stage=init2026.06 | 10 | 18.5 |