Formal Verification on MNIST Deep first 1000 images (val)
-11.5Relative Verification BoundBDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=all-stage2022.10 | -11.5 | |
| BDD+Setting=single-stage2022.10 | -8.6 | |
| LPSetting=all-stage2022.10 | -8.2 | |
| LPSetting=single-stage2022.10 | -6.6 | |
| ASSetting=single-stage2022.10 | -6.3 | |
| AndersonSetting=single-stage2022.10 | -5.9 | |
| AS256Setting=all-stage2022.10 | -5 | |
| AS512Setting=all-stage2022.10 | -3.1 | |
| BDD+ -> ZDSetting=all-stage2022.10 | 0 | |
| ZD-2DSetting=single-stage2022.10 | 0 | |
| AS256 -> ZDSetting=all-stage2022.10 | 2.3 | |
| AS512 -> ZDSetting=all-stage2022.10 | 3.3 | |
| ZD-MIPSetting=single-stage2022.10 | 18.1 |