Optimization Modeling on NL4Opt (Efficiency Metrics)
52.8Inference TimeOpt-Verifier
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 52.8 | 9 | 5,320.7 | |
| Opt-Verifier2026.05 | 52.8 | 9 | 5,320.7 | |
| CoE2026.05 | 58.2 | 13.6 | 6,745.8 | |
| CoE2026.05 | 58.2 | 13.6 | 6,745.8 | |
| OptiMUS2026.05 | 64.2 | 10.4 | 7,039.4 | |
| OptiMUS2026.05 | 64.2 | 10.4 | 7,039.4 |