Neural Network Verification on MNIST Wide (val)
8.3Time (s)BDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=All-stage2022.10 | 8.3 | |
| BDD+ -> ZonoDualSetting=All-stage, Refinement=ZonoDual2022.10 | 36.4 | |
| AS256Setting=All-stage, Constraint Size=2562022.10 | 45.4 | |
| AS256 -> ZonoDualSetting=All-stage, Constraint Size=256, Refinement=ZonoDual2022.10 | 73.3 | |
| AS512Setting=All-stage, Constraint Size=5122022.10 | 91.3 | |
| AS512 -> ZonoDualSetting=All-stage, Constraint Size=512, Refinement=ZonoDual2022.10 | 119.2 | |
| LPSetting=All-stage2022.10 | 387.1 |