A benchmark for evaluating LLMs on operations-research optimization problems (LP, MILP, MIQP, nonlinear) with solver-verified ground truth. Text-to-optimization requires two separable capabilities — modeling (choosing the right optimization structure) and binding (grounding every coefficient, index, and parameter in the concrete problem data) — and Text2Opt-Bench is built to expose binding as the bottleneck for current LLMs.
