Neural Network Verification on MNIST Deep
2.5TimeBDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Verification Setting=Single-stage2022.10 | 2.5 | |
| LPVerification Setting=Single-stage2022.10 | 4.8 | |
| ZD-2DVerification Setting=Single-stage2022.10 | 10.9 | |
| BDD+2022.10 | 15.4 | |
| ASVerification Setting=Single-stage2022.10 | 16.9 | |
| ZD-MIPVerification Setting=Single-stage2022.10 | 23.1 | |
| ZDInitialization=BDD+, Optimization iterations=2000 iterations of Adam2022.10 | 51.7 | |
| AndersonVerification Setting=Single-stage2022.10 | 52.4 | |
| Active SetIterations=2562022.10 | 138.9 | |
| ZDInitialization=AS256, Optimization iterations=2000 iterations of Adam2022.10 | 174.1 | |
| Active SetIterations=5122022.10 | 289.3 | |
| ZDInitialization=AS512, Optimization iterations=2000 iterations of Adam2022.10 | 324.1 | |
| LP2022.10 | 2,132.2 |