Robustness Certification on CIFAR-10 (test)
47Verified Robust Accuracy (VRA)ERAN
Evaluation Results
| Method | Links | |
|---|---|---|
| ERANAbstract Domain=DeepPoly, Perturbation Radius (epsilon_linf)=0.0025, Number of test points=1002026.03 | 47 | |
| Real (Ours)Arithmetic Assumption=Real, Perturbation Radius (epsilon_l2)=0.141, Number of test points=10,0002026.03 | 35.95 | |
| FP (Ours)Arithmetic Assumption=Floating-Point, Perturbation Radius (epsilon_l2)=0.141, Number of test points=10,000, Method Variant=Hybrid pre-deployment method2026.03 | 25.57 |