Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Verification on CIFAR (test)
Loading...
62
Verification Rate
BICCOS
41.72
46.985
52.25
57.515
Dec 31, 2024
Verification Rate
Latency (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Rate
Latency (s)
BICCOS
Model=CNN-B-Adv, epsil...
2024.12
62
8.27
BICCOS
Model=CNN-B-Adv-4, eps...
2024.12
62
8.27
BICCOS
Model=CNN-A-Mix-4, eps...
2024.12
56
5.23
BICCOS
Model=CNN-A-Adv, epsil...
2024.12
49
8.94
BICCOS
Model=CNN-A-Adv-4, eps...
2024.12
48.5
1.81
BICCOS
Model=CNN-A-Mix, epsil...
2024.12
48.5
10.34
GCP-CROWN (MIP cuts)
Model=CNN-A-Adv, epsil...
2024.12
48.5
4.78
B-CROWN
Model=CNN-A-Adv, epsil...
2024.12
45.5
5.17
MN-BaB
Model=CNN-A-Adv, epsil...
2024.12
42.5
68.3
Feedback
Search any
task
Search any
task
