Neural Network Verification on MNIST FFNet (val)
5.2Execution Time (s)BDD+
Evaluation Results
| Method | Links | |
|---|---|---|
| BDD+Setting=All-stage2022.10 | 5.2 | |
| AS256Setting=All-stage, Constraint Size=2562022.10 | 29.5 | |
| BDD+ -> ZonoDualSetting=All-stage, Refinement=ZonoDual2022.10 | 52 | |
| AS512Setting=All-stage, Constraint Size=5122022.10 | 61.6 | |
| AS256 -> ZonoDualSetting=All-stage, Constraint Size=256, Refinement=ZonoDual2022.10 | 70 | |
| LPSetting=All-stage2022.10 | 90 | |
| AS512 -> ZonoDualSetting=All-stage, Constraint Size=512, Refinement=ZonoDual2022.10 | 100.3 |