Asymmetric Robustness Verification on Law
1.34Verification Time (s)TwoSafe
Evaluation results
| Method | Links | ||
|---|---|---|---|
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 1.34 | — | |
| TwoSafeepsilon (perturbation bound)=0.1, tau (confidence threshold)=0.62026.06 | 1.45 | — | |
| CGR Baselineepsilon (perturbation bound)=0.1, tau (confidence threshold)=0.62026.06 | 2 | — | |
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 2.21 | — |