Skip to content
DraconiticResearch
Search Sources API
182,460 studies31 sourcesUpdated 25 min ago
PreprintarXiv licencearXiv

TACIT: Optimization Models that Learn from Their Mistakes

Abstract

Real-world optimization problems are difficult to model accurately because many objectives and constraints reside in domain experts' tacit knowledge, making them hard to formalize. As a result, optimization models often contain miscalibrated objectives, missing constraints, or omitted decision variables, leading to solutions that fail to reflect operational realities. We address this challenge by automatically repairing misspecified formulations using historical data consisting of past solutions and subsequent user overrides. Traditional approaches such as inverse optimization and constraint learning tend to overfit sparse data and produce complex formulations. Our central idea is to combine the reasoning capabilities and prior knowledge of LLMs with the formal grounding provided by optimization. We realize this idea through two complementary paradigms. Top-down, an LLM proposes structural repairs, including new constraints and variables, whose numerical parameters are calibrated and validated through optimization. Bottom-up, optimization infers cuts from observed decisions, which the LLM contextualizes into interpretable, generalizable modeling constraints. We evaluate our approach on 38 misspecification scenarios spanning nine classes of optimization problems, several drawn from real-world applications, and show that TACIT can repair 78.9% of them (vs. 60.5% for the best baseline).

Related

  1. Online Inverse Integer Linear Optimization via Small-Gradient Skipping: Constant Regret and Finite Mistakes
    Akira Kitaoka
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  2. Learn-Then-Differentiate Gradient Estimation
    Nifei Lin, Qingkai Zhang, L. Jeff Hong
    arXivPreprintCC BY-NC-ND 4.0Full textStatisticsarXiv
  3. Wait to Learn: Timing the Gradient Return in Over-the-Air Split Learning over an Aging Single-Antenna Channel
    Xianzhong Li, Yuzhi Yang, Tianhao Guo
    arXivPreprintarXiv licenceFull textGeneral mathematicsarXiv
  4. What can linear attention learn from nonlinear teachers in-context?
    Mary Letey, Arman Rysmakhanov, Yue M. Lu +2
    arXivPreprintCC BY 4.0Full textStatisticsarXiv
  5. Learn Your Own Thoughts: Abstract Token Curriculum
    Khashayar Gatmiry, Avrajit Ghosh, Parsa Mirtaheri +4
    arXivPreprintarXiv licenceFull textStatisticsarXiv
BibTeX
@misc{bouscary2026tacit,
  title = {{TACIT: Optimization Models that Learn from Their Mistakes}},
  author = {Maxime Bouscary and Marco Molinaro and Sirui Li and Saurabh Amin and Ishai Menache and Konstantina Mellou},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.38434},
  eprint = {2609.38434},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.38434},
}
RIS
TY  - UNPB
TI  - TACIT: Optimization Models that Learn from Their Mistakes
AU  - Maxime Bouscary
AU  - Marco Molinaro
AU  - Sirui Li
AU  - Saurabh Amin
AU  - Ishai Menache
AU  - Konstantina Mellou
PY  - 2026
DA  - 2026/09/29
PB  - arXiv
DO  - 10.48550/arxiv.2609.38434
UR  - https://arxiv.org/abs/2609.38434
AB  - Real-world optimization problems are difficult to model accurately because many objectives and constraints reside in domain experts' tacit knowledge, making them hard to formalize. As a result, optimization models often contain miscalibrated objectives, missing constraints, or omitted decision variables, leading to solutions that fail to reflect operational realities. We address this challenge by automatically repairing misspecified formulations using historical data consisting of past solutions and subsequent user overrides. Traditional approaches such as inverse optimization and constraint learning tend to overfit sparse data and produce complex formulations. Our central idea is to combine the reasoning capabilities and prior knowledge of LLMs with the formal grounding provided by optimization. We realize this idea through two complementary paradigms. Top-down, an LLM proposes structural repairs, including new constraints and variables, whose numerical parameters are calibrated and validated through optimization. Bottom-up, optimization infers cuts from observed decisions, which the LLM contextualizes into interpretable, generalizable modeling constraints. We evaluate our approach on 38 misspecification scenarios spanning nine classes of optimization problems, several drawn from real-world applications, and show that TACIT can repair 78.9% of them (vs. 60.5% for the best baseline).
ER  -