Robustness Verification on CIFAR10
50Samples Triggering RefinementZeroSplitVerifier
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 32 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 25 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 35 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 28 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 30 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 25 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 20 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 26 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 22 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 34 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 27 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 15 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 11 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 16 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 19 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 12 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 8 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 21 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 13 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 11 | |
| ZeroSplitVerifierSequence length (m)=24, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 1 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 50 | 18 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 50 | 17 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=RELU, Hidden size (h)=642026.06 | 50 | 12 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=RELU, Hidden size (h)=1282026.06 | 50 | 4 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=TANH, Hidden size (h)=162026.06 | 50 | 16 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=TANH, Hidden size (h)=322026.06 | 50 | 10 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=TANH, Hidden size (h)=642026.06 | 50 | 4 | |
| ZeroSplitVerifierSequence length (m)=32, Activation function (Act.)=TANH, Hidden size (h)=1282026.06 | 50 | 1 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=RELU, Hidden size (h)=322026.06 | 47 | 33 | |
| ZeroSplitVerifierSequence length (m)=12, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 47 | 16 | |
| ZeroSplitVerifierSequence length (m)=8, Activation function (Act.)=RELU, Hidden size (h)=162026.06 | 43 | 24 |