Formal Verification on MNIST FFNet first 1000 images (val)
-6.5Relative Verification BoundBDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=all-stage2022.10 | -6.5 | |
| LPSetting=all-stage2022.10 | -5.9 | |
| BDD+Setting=single-stage2022.10 | -3.4 | |
| LPSetting=single-stage2022.10 | -2.8 | |
| AS256Setting=all-stage2022.10 | -2 | |
| AndersonSetting=single-stage2022.10 | -1.3 | |
| ASSetting=single-stage2022.10 | -1.2 | |
| AS512Setting=all-stage2022.10 | -0.7 | |
| BDD+ -> ZDSetting=all-stage2022.10 | 0 | |
| ZD-2DSetting=single-stage2022.10 | 0 | |
| AS256 -> ZDSetting=all-stage2022.10 | 1.1 | |
| AS512 -> ZDSetting=all-stage2022.10 | 1.5 | |
| ZD-MIPSetting=single-stage2022.10 | 3.7 |