Neural Network Verification on MNIST Deep (val)
15.4Time (s)BDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=All-stage2022.10 | 15.4 | |
| BDD+ -> ZonoDualSetting=All-stage, Refinement=ZonoDual2022.10 | 51.7 | |
| AS256Setting=All-stage, Constraint Size=2562022.10 | 138.9 | |
| AS256 -> ZonoDualSetting=All-stage, Constraint Size=256, Refinement=ZonoDual2022.10 | 174.1 | |
| AS512Setting=All-stage, Constraint Size=5122022.10 | 289.3 | |
| AS512 -> ZonoDualSetting=All-stage, Constraint Size=512, Refinement=ZonoDual2022.10 | 324.1 | |
| LPSetting=All-stage2022.10 | 2,132.2 |