5 citations · 5 across the 13 of their papers we have counts for
5 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…
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…
Marketplace Operators Can Induce Competitive Pricing
Tiffany Ding, Dominique Perrault-Joncas, Orit Ronen +4
As e-commerce marketplaces continue to grow in popularity, it has become increasingly important to understand the role and impact of marketplace operators on competition and social…
C2-DPO: Constrained Controlled Direct Preference Optimization
Kavosh Asadi, Julien Han, Idan Pipano +5
Direct preference optimization (\texttt{DPO}) has emerged as a promising approach for solving the alignment problem in AI. In this paper, we make two counter-intuitive observations…
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…