Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Verification on MNIST epsilon=0.3 (first 200 examples)
Loading...
70.5
Verified Accuracy
β-CROWN FSB
-1.78
16.985
35.75
54.515
Mar 11, 2021
Verified Accuracy
Avg Verification Time
Adversarial Upper Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verified Accuracy
Avg Verification Time
Adversarial Upper Bound
β-CROWN FSB
Model=CNN-A-Adv, Epsil...
2021.03
70.5
21.1
76.5
β-CROWN FSB
Model=CNN-B-Adv, Epsil...
2021.03
46.5
32.2
65
PRIMA
Model=CNN-A-Adv, Epsil...
2021.03
44.5
135.9
76.5
SDP-FO
Model=CNN-A-Adv, Epsil...
2021.03
43.4
20
76.5
PRIMA
Model=CNN-B-Adv, Epsil...
2021.03
38
343.6
65
SDP-FO
Model=CNN-B-Adv, Epsil...
2021.03
32.8
25
65
CROWN/DeepPoly
Model=CNN-B-Adv, Epsil...
2021.03
21.5
0.5
65
CROWN/DeepPoly
Model=CNN-A-Adv, Epsil...
2021.03
1
0.1
76.5
Feedback
Search any
task
Search any
task