Auto86%Harbor: pendingMathCoding

EfficientOpt

EfficientOpt: The Efficiency Gap in LLM-based Optimization Modeling

A benchmark of 561 expert-reviewed optimization tasks evaluating the correctness and computational efficiency (solver time) of LLM-generated mathematical models against paired ordinary and expert reference implementations.

How to run

ltb · efficientopt
$ npm i -g lettokenburn-cli
$ ltb bench info efficientopt

External harness. No Harbor adapter has been generated for this benchmark yet. `ltb bench info` prints the known links.

Runs happen on your machine with your own subscription; only the score summary is pushed. CLI docs

Scores

11 sourced entries
HarnessSourceConfidenceLink
Qwen 3.5 122B69.0N/AIndependentmediumSep 30, 2026arxiv.org
GLM-5.170.0N/AIndependentmediumSep 30, 2026arxiv.org
GPT-5.572.1N/AIndependentmediumSep 30, 2026arxiv.org
Claude Opus 4.673.0N/AIndependentmediumSep 30, 2026arxiv.org
Qwen3-32B75.0N/AIndependentmediumSep 30, 2026arxiv.org
Gemini 3.1 Pro79.1N/AIndependentmediumSep 30, 2026arxiv.org
MiniMax M2.583.0N/AIndependentmediumSep 30, 2026arxiv.org
Kimi K2.684.5N/AIndependentmediumSep 30, 2026arxiv.org
DeepSeek V4 Flash85.3N/AIndependentmediumSep 30, 2026arxiv.org
Qwen3.6 Plus91.4N/AIndependentmediumSep 30, 2026arxiv.org
Qwen3.6 27B92.1N/AIndependentmediumSep 30, 2026arxiv.org

Every number links to where it was published. Low-confidence rows are muted and need per-cell verification.

Reproduced by the community

All runs
Loading community runs…

About

Content & Construction: EfficientOpt is built using OptTips, a knowledge base of 50 modeling techniques. The multi-agent framework OptDachshund transforms existing optimization problems into tasks that include natural-language descriptions, numerical data, and paired references (ordinary vs. expert) for cost comparison.

Scoring & Findings: Tasks are scored on correctness (optimal value match) and efficiency (solver runtime). Evaluation reveals an 'efficiency gap' where LLM-generated correct models often take significantly longer to solve than expert counterparts due to suboptimal modeling choices, despite achieving the same optimal values.