Showing 2025Show all
3 papers · 1 filter
cs.LG2025
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…
cs.LG2025
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…
econ.TH2025
A shared-revenue Bertrand game
Raj Pabari, Udaya Ghai, Dominique Perrault-Joncas +6
We introduce and analyze a variation of the Bertrand game in which the revenue is shared between two players. This game models situations in which one economic agent can provide go…