Adversarial Robustness Verification on ERAN MNIST 6x500 ELU (100 images)
64Certified CountSLiR
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SLiROptimization Stage=opt2026.06 | 64 | 7 | |
| SLiR (exact)Optimization Stage=opt2026.06 | 64 | 4 | |
| SLiROptimization Stage=init2026.06 | 62 | 352 | |
| SLiR (exact)Optimization Stage=init2026.06 | 62 | 200 |