Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Certification on CIFAR-10 (test)
Loading...
47
Verified Robust Accuracy (VRA)
ERAN
24.7128
30.4989
36.285
42.0711
Mar 6, 2026
Verified Robust Accuracy (VRA)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verified Robust Accuracy (VRA)
ERAN
Abstract Domain=DeepPo...
2026.03
47
Real (Ours)
Arithmetic Assumption=...
2026.03
35.95
FP (Ours)
Arithmetic Assumption=...
2026.03
25.57
Feedback
Search any
task
Search any
task
