Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Verification on CIFAR
Loading...
0.605
Verified Accuracy
Clip-and-Verify
0.449
0.4895
0.53
0.5705
Dec 11, 2025
Verified Accuracy
Average Verification Time (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verified Accuracy
Average Verification Time (s)
Clip-and-Verify
Model=CNN-B-Adv-4, Eps...
2025.12
0.605
5.55
BICCOS
Model=CNN-B-Adv-4, Eps...
2025.12
0.595
4.7
Clip-and-Verify
Model=CNN-A-Adv, Epsil...
2025.12
0.485
3.08
BICCOS
Model=CNN-A-Adv-4, Eps...
2025.12
0.485
1.55
Clip-and-Verify
Model=CNN-A-Adv-4, Eps...
2025.12
0.485
1.31
BICCOS
Model=CNN-A-Mix, Epsil...
2025.12
0.48
9
Clip-and-Verify
Model=CNN-A-Mix, Epsil...
2025.12
0.48
7.45
β-CROWN
Model=CNN-A-Adv, Epsil...
2025.12
0.455
5.26
Feedback
Search any
task
Search any
task