works on

From the 1 of 9 linked papers with an AI index.

activity
20242026
collaborators

9 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…

cs.AI2026

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…

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…

cs.AI2026

Rethinking Supply Chain Planning: A Generative Paradigm

Jiaheng Yin, Yongzhi Qi, Jianshen Zhang +5

Supply chain planning is the critical process of anticipating future demand and coordinating operational activities across the logistics network. However, within the context of con…

cs.AI2026

ORPR: An OR-Guided Pretrain-then-Reinforce Learning Model for Inventory Management

Lingjie Zhao, Xue Yu, Yongzhi Qi +6

As the pursuit of synergy between Artificial Intelligence (AI) and Operations Research (OR) gains momentum in handling complex inventory systems, a critical challenge persists: how…