4 papers · 1 filter
BRIDGE: Building Representations In Domain Guided Program Synthesis
Robert Joseph George, Carson Eisenach, Udaya Ghai +3
Large language models can generate plausible code, but remain brittle for formal verification in proof assistants such as Lean. A central scalability challenge is that verified syn…
Deep RL Dual Sourcing Inventory Management with Supply and Capacity Risk Awareness
Defeng Liu, Ying Liu, Carson Eisenach
In this work, we study how to efficiently apply reinforcement learning (RL) for solving large-scale stochastic optimization problems by leveraging intervention models. The key of t…
Structure-Informed Deep Reinforcement Learning for Inventory Management
Alvaro Maggiar, Sohrab Andaz, Akhil Bagaria +4
This paper investigates the application of Deep Reinforcement Learning (DRL) to classical inventory management problems, with a focus on practical implementation considerations. We…
Outbound Modeling for Inventory Management
Riccardo Savorgnan, Udaya Ghai, Carson Eisenach +1
We study the problem of forecasting the number of units fulfilled (or ``drained'') from each inventory warehouse to meet customer demand, along with the associated outbound shippin…