Adversarial Robustness Verification on CIFAR10 CNN 5-Layer
28Certification CoverageSLiR
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SLiROptimization Stage=opt, Activation Function=loglog2026.06 | 28 | 11 | — | |
| SOLActivation Function=loglog2026.06 | 27 | — | — | |
| LINSYNActivation Function=loglog2026.06 | 27 | 1 | — | |
| SLiROptimization Stage=init, Activation Function=loglog2026.06 | 26 | 173 | — | |
| SOLActivation Function=swish2026.06 | 24 | — | — | |
| LINSYNActivation Function=swish2026.06 | 23 | 1 | — | |
| E. GuidedActivation Function=swish2026.06 | 23 | 182 | — | |
| SLiROptimization Stage=init, Activation Function=swish2026.06 | 23 | 434 | — | |
| SLiROptimization Stage=opt, Activation Function=swish2026.06 | 23 | 18 | — | |
| SLiROptimization Stage=opt, Activation Function=gelu2026.06 | 21 | 17 | — | |
| SOLActivation Function=gelu2026.06 | 20 | — | — | |
| LINSYNActivation Function=gelu2026.06 | 20 | 1 | — | |
| SLiROptimization Stage=init, Activation Function=gelu2026.06 | 20 | 466 | — | |
| SLiROptimization Stage=opt, Activation Function=mish2026.06 | 20 | 18 | — | |
| E. GuidedActivation Function=gelu2026.06 | 19 | 263 | — | |
| E. GuidedActivation Function=mish2026.06 | 19 | 222 | — | |
| SLiROptimization Stage=init, Activation Function=mish2026.06 | 19 | 462 | — | |
| SLiROptimization Stage=opt, Activation Function=atansq2026.06 | 16 | 19 | — | |
| SLiROptimization Stage=init, Activation Function=atansq2026.06 | 15 | 785 | — | |
| E. GuidedActivation Function=atansq2026.06 | 14 | 214 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=gelu2026.06 | 14 | 19 | — | |
| α-CROWNOptimization Stage=init, Activation Function=gelu2026.06 | 11 | 13.6 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=swish2026.06 | 5 | 16 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=atansq2026.06 | 3 | 29 | — | |
| α-CROWNOptimization Stage=init, Activation Function=swish2026.06 | 2 | 14.5 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=mish2026.06 | 1 | 76 | — | |
| E. GuidedActivation Function=lisht2026.06 | 0 | 185 | — | |
| α-CROWNOptimization Stage=init, Activation Function=atansq2026.06 | 0 | 13.1 | — | |
| α-CROWNOptimization Stage=init, Activation Function=lisht2026.06 | 0 | 15.3 | — | |
| α-CROWNOptimization Stage=init, Activation Function=mish2026.06 | 0 | 451 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=lisht2026.06 | 0 | 17 | — | |
| SLiROptimization Stage=init, Activation Function=lisht2026.06 | 0 | 953 | — | |
| SLiROptimization Stage=opt, Activation Function=lisht2026.06 | 0 | 21 | — | |
| PGDActivation Function=atansq2026.06 | — | — | 59 | |
| PGDActivation Function=gelu2026.06 | — | — | 60 | |
| PGDActivation Function=lisht2026.06 | — | — | 56 | |
| PGDActivation Function=loglog2026.06 | — | — | 39 | |
| PGDActivation Function=mish2026.06 | — | — | 60 | |
| PGDActivation Function=swish2026.06 | — | — | 61 |