6 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…
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…
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…
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…
TimeHF: Billion-Scale Time Series Models Guided by Human Feedback
Yongzhi Qi, Hao Hu, Dazhou Lei +6
Time series neural networks perform exceptionally well in real-world applications but encounter challenges such as limited scalability, poor generalization, and suboptimal zero-sho…