From the 2 of 10 linked papers with an AI index.
10 papers
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…
DualCert: A Solver for the Traveling Salesman Problem with Constraint-Coupled Learning
Yancheng Song, Yongzhi Qi, Wei Qi +1
Large traveling salesman problem (TSP) instances require a solver to allocate limited computation while preserving the validity of its outputs. Existing neural--operations-research…
SCOPE: Supply-Chain Operations through Coupled Policies for End-to-End Coordination
Yunhao Liang, Xianqi Cao, Pujun Zhang +4
The paper introduces SCOPE, a unified policy framework that jointly optimizes assortment, source assignment, replenishment frequency, and routing decisions in supply chains, showin…
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…
SPORD: A Simulation-Propose-then-OR-Dispose Approach for Supply Chain Planning
Jiayin He, Yutong Pan, Sen Yang +5
For years, supply chain planning at e-commerce firms has operated as a collection of isolated projects. Each planning task from static network planning to dynamic warehouse assortm…
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…