12 papers
Proximal Residual Value Functions for Consistent Planning and Real-Time Execution
Harrison Waldon, Carson Eisenach, Akhil Bagaria +4
We study two-timescale decision systems in which a planning layer periodically supplies a continuation-value function to a real-time optimizer that allocates arriving resources, wi…
Towards Optimal Estimators for Randomized Control Trials
Harsh Parikh, Gabriel Levin-Konigsberg, Nilesh Tripuraneni +5
Randomized controlled trials (RCTs) are fundamental tools for causal inference across technology companies, pharmaceutical research, and federal agencies. While the standard differ…
Mind the Sim-to-Real Gap & Think Like a Scientist
Harsh Parikh, Gabriel Levin-Konigsberg, Dominique Perrault-Joncas +1
Suppose a planner has a pre-trained simulator of a sequential decision problem and the option to run real experiments in the field. The simulator is cheap to query but inherits con…
Ready from Day 1: Population-Aware Coordination for Large-Scale Constrained Multi-Agent Systems
Angel Wang, Dominique Perrault-Joncas, Alvaro Maggiar +2
In large-scale multi-agent systems with shared resource constraints, an upstream planner must iteratively evaluate candidate resource plans -- assessing feasibility, aggregate resp…
TEA-Time: Transporting Effects Across Time
Harsh Parikh, Gabriel Levin-Konigsberg, Dominique Perrault-Joncas +1
Treatment effects estimated from a randomized controlled trial are local not only to the study population but also to the time at which the trial was conducted. The literature on g…
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…