arXiv AI
TACIT: Optimization Models that Learn from Their Mistakes
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Aug 18
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
arXiv:2602. 15983v3 Announce Type: replace-cross Abstract: Large language models (LLMs) can translate natural language into optimization code, but silent failures pose a critical risk: code that executes and returns solver-feasible solutions may encode semantically incorrect formulations---a feasibility--correctness gap reaching 90 percentage points on compositional problems.
arXiv AI
Jun 9
AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience Library
arXiv:2510. 18428v4 Announce Type: replace Abstract: Optimization modeling underlies critical decision-making across industries, yet remains difficult to automate: natural-language problem descriptions must be translated into precise mathematical formulations and executable solver code.
arXiv AI
Aug 11
Improving Constraint Models with LLM Agents
arXiv:2608. 08127v1 Announce Type: new Abstract: The runtime of Constraint Programming (CP) solvers is highly sensitive to modeling choices, such as symmetry breaking, implied constraints, global constraints, constraint reformulation, and variable representation.
arXiv AI
Jul 22
PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language
arXiv:2607. 18256v1 Announce Type: new Abstract: Optimization modeling is the process of translating real-world decision problems, often described in natural language, into formal mathematical formulations and executable solver code.
arXiv Computation and Language
2d ago
SemOPT: Fixing Semantic Errors in LLM-based Optimization Modeling via Reward-Guided Search
arXiv:2609.37361v1 Announce Type: new Abstract: Operations research supports decision-making in domains such as energy, economics, and healthcare. Solving operations research problems typically begin...
arXiv AI
Sep 15
Tool Use Reduces Depth-Induced Collapse in OOD Reasoning
arXiv:2602.21061v2 Announce Type: replace Abstract: Many current paths to more advanced AI depend on the assumption that large language models (LLMs) can generalize learned relationships to solve com...