Adversarial Robustness Verification on MNIST CNN 4-Layer
86Cert. CoverageSLiR
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| SLiROptimization Stage=opt, Activation Function=lisht2026.06 | 86 | 6 | — | |
| SLiROptimization Stage=init, Activation Function=lisht2026.06 | 81 | 950 | — | |
| SOLActivation Function=swish2026.06 | 76 | — | — | |
| LINSYNActivation Function=swish2026.06 | 76 | 1 | — | |
| SLiROptimization Stage=init, Activation Function=swish2026.06 | 76 | 567 | — | |
| SLiROptimization Stage=opt, Activation Function=swish2026.06 | 76 | 5 | — | |
| SLiROptimization Stage=opt, Activation Function=gelu2026.06 | 75 | 5 | — | |
| E. GuidedActivation Function=swish2026.06 | 74 | 115 | — | |
| SOLActivation Function=gelu2026.06 | 73 | — | — | |
| LINSYNActivation Function=gelu2026.06 | 72 | 1 | — | |
| SLiROptimization Stage=init, Activation Function=gelu2026.06 | 72 | 647 | — | |
| E. GuidedActivation Function=gelu2026.06 | 70 | 183 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=gelu2026.06 | 70 | 3 | — | |
| SLiROptimization Stage=opt, Activation Function=mish2026.06 | 66 | 6 | — | |
| α-CROWNOptimization Stage=init, Activation Function=gelu2026.06 | 64 | 6.7 | — | |
| SLiROptimization Stage=init, Activation Function=mish2026.06 | 63 | 857 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=swish2026.06 | 47 | 3 | — | |
| α-CROWNOptimization Stage=init, Activation Function=swish2026.06 | 34 | 9.8 | — | |
| SLiROptimization Stage=opt, Activation Function=loglog2026.06 | 32 | 4 | — | |
| E. GuidedActivation Function=mish2026.06 | 28 | 140 | — | |
| SLiROptimization Stage=opt, Activation Function=atansq2026.06 | 25 | 6 | — | |
| SOLActivation Function=loglog2026.06 | 24 | — | — | |
| LINSYNActivation Function=loglog2026.06 | 23 | 1 | — | |
| SLiROptimization Stage=init, Activation Function=loglog2026.06 | 23 | 308 | — | |
| SLiROptimization Stage=init, Activation Function=atansq2026.06 | 18 | 958 | — | |
| E. GuidedActivation Function=atansq2026.06 | 16 | 138 | — | |
| E. GuidedActivation Function=lisht2026.06 | 11 | 114 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=lisht2026.06 | 9 | 3 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=mish2026.06 | 6 | 16 | — | |
| α-CROWNOptimization Stage=opt, Activation Function=atansq2026.06 | 3 | 4 | — | |
| α-CROWNOptimization Stage=init, Activation Function=atansq2026.06 | 1 | 7.8 | — | |
| α-CROWNOptimization Stage=init, Activation Function=lisht2026.06 | 0 | 8.9 | — | |
| α-CROWNOptimization Stage=init, Activation Function=mish2026.06 | 0 | 45.2 | — | |
| PGDActivation Function=atansq2026.06 | — | — | 88 | |
| PGDActivation Function=gelu2026.06 | — | — | 92 | |
| PGDActivation Function=lisht2026.06 | — | — | 95 | |
| PGDActivation Function=loglog2026.06 | — | — | 85 | |
| PGDActivation Function=mish2026.06 | — | — | 92 | |
| PGDActivation Function=swish2026.06 | — | — | 86 |