Formal Verification on MNIST Wide first 1000 images (val)
-5.4Relative Verification BoundBDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=all-stage2022.10 | -5.4 | |
| LPSetting=all-stage2022.10 | -4.7 | |
| AS256Setting=all-stage2022.10 | -1.4 | |
| AS512Setting=all-stage2022.10 | -0.1 | |
| BDD+ -> ZDSetting=all-stage2022.10 | 0 | |
| AS256 -> ZDSetting=all-stage2022.10 | 0.9 | |
| AS512 -> ZDSetting=all-stage2022.10 | 1.2 |