Robustness Verification on MNIST Strokes
50Samples Triggering RefinementZeroSplitVerifier
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 20 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 24 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 10 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 4 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 30 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 19 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 9 | |
| ZeroSplitVerifierSequence length (m)=30, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 3 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 15 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 17 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 6 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 4 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 21 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 11 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 4 | |
| ZeroSplitVerifierSequence length (m)=35, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 0 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 13 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 17 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 7 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 3 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 22 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 2 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 2 | |
| ZeroSplitVerifierSequence length (m)=40, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 0 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 5 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 11 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 3 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 6 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 16 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 9 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 6 | |
| ZeroSplitVerifierSequence length (m)=45, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 1 |