Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Network Verification on CIFAR 1000 images
Loading...
51.6
Verified Accuracy
β-CROWN FSB
23
30.425
37.85
45.275
Mar 11, 2021
Verified Accuracy
Average Verification Time (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verified Accuracy
Average Verification Time (s)
β-CROWN FSB
Model=ConvBig
2021.03
51.6
15.3
PRIMA
Model=ConvBig
2021.03
48.3
176
β-CROWN FSB
Model=ConvSmall
2021.03
46.3
6.8
kPoly
Model=ConvBig
2021.03
45.9
346
PRIMA
Model=ConvSmall
2021.03
44.6
13
CROWN/DeepPoly
Model=ConvBig
2021.03
42.1
43
kPoly
Model=ConvSmall
2021.03
39.9
86
OptC2V
Model=ConvSmall
2021.03
39.8
105
CROWN/DeepPoly
Model=ConvSmall
2021.03
35.9
4
PRIMA
Model=ResNet
2021.03
24.8
1.7
β-CROWN FSB
Model=ResNet
2021.03
24.8
1.6
kPoly
Model=ResNet
2021.03
24.5
91
CROWN/DeepPoly
Model=ResNet
2021.03
24.1
1
Feedback
Search any
task
Search any
task