Integer Programming Branching on NNVerify official (test)
34.54TimeLLM4Branch
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| LLM4BranchHardware=CPU2026.05 | 34.54 | 1,014.08 | 29 | |
| MLPHardware=CPU, Type=Neural Network2026.05 | 37.26 | 829.01 | 21 | |
| GNN-GPUHardware=GPU, Type=Graph Neural Network2026.05 | 44.82 | 1,716 | 75 | |
| RPBHardware=CPU, Type=Human-designed2026.05 | 66.29 | 1,744.58 | 4 | |
| Symb4COHardware=CPU, Type=Symbolic Regression2026.05 | 68.69 | 1,809.3 | 15 | |
| HybridHardware=CPU2026.05 | 84.33 | 2,109.75 | 11 | |
| GNNHardware=CPU, Type=Graph Neural Network2026.05 | 265.64 | 1,217.8 | 0 | |
| FSBHardware=CPU, Type=Human-designed2026.05 | 281.2 | 617.64 | 0 |