Symmetric Robustness Verification on Law
1.97Verification Time (s)CGR Baseline
Evaluation results
| Method | Links | ||
|---|---|---|---|
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 1.97 | — | |
| TwoSafeepsilon (perturbation bound)=0.1, tau (confidence threshold)=0.62026.06 | 1.99 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 2.02 | — | |
| CGR Baselineepsilon (perturbation bound)=0.1, tau (confidence threshold)=0.62026.06 | 2.32 | — |