Robustness Verification on MNIST (Geometric Perturbations)
61Robustness Ratio (roll)Lipschitz Optimization for Formal Verification of Homographies
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Lipschitz Optimization for Formal Verification of HomographiesGeneration time (s)=42.0, Verification time (s)=8.23, Total timeouts=0, Padding type=black, Lipschitz-error=0.01, Maximum BaB iterations=5,0002026.05 | 61 | 5 | 25 | 50 | 73 | 53 |