formulation selection 1inventory allocation 1large language models 1mixed-integer programming 1reinforcement learning 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.SE2026
Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
Joel Abenhaim
This paper reports a single, fully instrumented case study of a large-scale architectural refactoring by an AI coding agent under a specification-first protocol, with no human revi…
cs.AI2026
Large Language Model for Operations Research Formulation Selection in Multi-Warehouse Inventory Allocation
Jintao Xu, Yingzheng Ma, Jiong Dong +2
The paper introduces a large language model that selects the most suitable mixed‑integer programming formulation for each multi‑warehouse inventory allocation instance, improving a…
math.OC2026
Solver-Verified Formulation Generation and Selection for Multi-Warehouse Inventory Allocation Using Large Language Models
Jintao Xu, Yingzheng Ma, Jiong Dong +4
Balance-oriented multi-warehouse inventory allocation is a recurring decision problem in large-scale e-commerce supply chains, in which a fixed replenishment quantity is distribute…