Neural Network Verification on MNIST Wide
1.5Execution TimeBDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Verification Setting=Single-stage2022.10 | 1.5 | |
| LPVerification Setting=Single-stage2022.10 | 5.5 | |
| BDD+2022.10 | 8.3 | |
| ZD-2DVerification Setting=Single-stage2022.10 | 10.2 | |
| ASVerification Setting=Single-stage2022.10 | 10.4 | |
| ZD-MIPVerification Setting=Single-stage2022.10 | 14.7 | |
| ZDInitialization=BDD+, Optimization iterations=2000 iterations of Adam2022.10 | 36.4 | |
| Active SetIterations=2562022.10 | 45.4 | |
| AndersonVerification Setting=Single-stage2022.10 | 52.4 | |
| ZDInitialization=AS256, Optimization iterations=2000 iterations of Adam2022.10 | 73.3 | |
| Active SetIterations=5122022.10 | 91.3 | |
| ZDInitialization=AS512, Optimization iterations=2000 iterations of Adam2022.10 | 119.2 | |
| LP2022.10 | 387.1 |