Mixed Integer Linear Programming (MILP) solving on NN Verification
37.5Median Relative Time Improvement (%)L2Sep
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| L2SepCategory=Ours Learned2023.11 | 37.5 | — | 33.9 | |
| PruneCategory=Heuristic Baselines2023.11 | 31.5 | — | 36.3 | |
| Inst. Agnostic ConfigurationCategory=Ours Heuristic Variants2023.11 | 31.4 | — | 38.3 | |
| Random within Restr. SubspaceCategory=Ours Heuristic Variants2023.11 | 30.7 | — | 34.1 | |
| SCIP DefaultCategory=Heuristic Baselines2023.11 | 0 | 31.42 | — | |
| RandomCategory=Heuristic Baselines2023.11 | -300 | — | 152.3 |