MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources
On the map: LLM reasoning → Reinforcement learning for reasoning
Abstract (arXiv)
Achieving strong optimization generalization across diverse optimization problems while requiring limited training resources remains a challenging problem for optimization-oriented large language models (LLMs). Existing approaches typically rely on large-scale supervised datasets, costly reasoning annotations, and expensive intermediate step verification, resulting in substantial training overhead. To address these challenges, we propose MiniOpt, a reinforcement learning framework that learns to solve optimization problems through an "reasoning-to-model-and-solve" paradigm. MiniOpt decomposes optimization reasoning into structured optimization modeling and executable solver generation. Building upon this paradigm, we introduce OptReward, a reward function with hierarchical score structure that jointly evaluates formulation and solution, enabling effective policy learning without expert demonstrations. We further develop an optimization-oriented policy optimization strategy that improves exploration efficiency and stabilizes reinforcement learning for compact models. Extensive experiments show that MiniOpt-3B exhibits strong optimization generalization across various optimization types, problem scenarios, and task domains. For models with fewer than 10B parameters, MiniOpt series achieves the highest average solving accuracy (SA). For models with more than 10B parameters, MiniOpt still shows competitive performance. These results suggest that optimization-oriented reward design and reinforcement learning provide an effective pathway for developing compact optimization-specialized language models with strong optimization generalization capabilities. The code is available at https://github.com/Hsiang-1/MiniOpt.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Placed in Reinforcement learning for reasoning, one of 17 directions in LLM reasoning. Builds on 42 of its 49 references that are in the map. First posted on arXiv 24 Jun 2026.
Builds on
42 of 49 references.
Closest ancestors · 4
Same direction, newest first
- 2025Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning20 Feb
- 2024Tulu 3: Pushing Frontiers in Open Language Model Post-Training22 Nov
- 2024On Designing Effective RL Reward at Training Time for LLM Reasoning19 Oct
- 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations14 Dec
Other references · 38
- 2022Training language models to follow instructions with human feedbackcited by 15,712
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 8,851
- 2025Qwen3 Technical Reportcited by 8,195
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2020Measuring Massive Multitask Language Understandingcited by 7,768
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2024Qwen2.5 Technical Reportcited by 4,713
- 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,064
- 2017TriviaQA: A Large Scale Distantly Supervised Challenge Dataset for Reading Comprehensioncited by 2,895
- 2024Qwen2.5-Coder Technical Reportcited by 1,151
- 2017RACE: Large-scale ReAding Comprehension Dataset From Examinationscited by 851
26 more
- 2024Training Software Engineering Agents and Verifiers with SWE-Gymcited by 300
- 2024DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Searchcited by 189
- 2023NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptionscited by 133
- 2024ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modelingcited by 124
- 2024OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Modelscited by 105
- 2024LLMOPT: Learning to Define and Solve General Optimization Problems from Scratchcited by 102
- 2024OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modelingcited by 66
- 2025OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modelingcited by 48
- 2024LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languagescited by 46
- 2024LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generationcited by 45
- 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 44
- 2024Densing Law of LLMscited by 39
- 2024CodeDPO: Aligning Code Models with Self Generated and Verified Source Codecited by 32
- 2025A Survey of Optimization Modeling Meets LLMs: Progress and Future Directionscited by 30
- 2025StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language Modelscited by 26
- 2025OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modelingcited by 23
- 2025A Survey on LLM Mid-Trainingcited by 18
- 2025OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learningcited by 16
- 2024BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solvingcited by 15
- 2024AutoSAT: Automatically Optimize SAT Solvers via Large Language Modelscited by 14
- 2025ARS: Automatic Routing Solver with Large Language Modelscited by 13
- 2025OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problemscited by 12
- 2025EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulationscited by 9
- 2025Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinccited by 7
- 2025An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Modelscited by 3
- 2025AutoPBO: LLM-powered Optimization for Local Search PBO Solverscited by 2
Built on by
Citing papers per year: 2026: 1.
1 paper.
Similar, not cited
Close in wording, no citation either way
- 2026Learning to Optimize through Solver-Grounded Self-Play
- 2026OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scaling
- 2026Step-by-Step Optimization-like Reasoning in LLMs over Expanding Search Spaces
- 2025SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided Search
- 2025AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience Library
- 2025GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoning
- 2026Execution-Verified Reinforcement Learning for Optimization Modeling
- 2025Large Language Models as End-to-end Combinatorial Optimization Solvers