Symmetric Robustness Verification on LHC
2.67Verification Time (s)CGR Baseline
Evaluation results
| Method | Links | ||
|---|---|---|---|
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.82026.06 | 2.67 | — | |
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.92026.06 | 2.67 | — | |
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.72026.06 | 2.68 | — | |
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 2.72 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.992026.06 | 5.4 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.92026.06 | 37.9 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.82026.06 | 58.35 | — |