8 citations · 28 across the 15 of their papers we have counts for
17 papers
L3M: A Verifiable Harness and Runtime for Self-Extending and Self-Improving Agents
Carson Eisenach, Robert Joseph George, Vincent Quenneville-Belair +2
The lasting gains in AI have come from methods that absorb more computation, and language models already scale computation within a call. Useful work, though, happens across calls:…
Forecasting from Counterfactual Simulator Rollouts: A Sim2Real Evaluation
Angel Wang, Dominique Perrault-Joncas, Alvaro Maggiar +2
Deploying a new decision policy creates a cold-start problem for prediction models whose targets depend on the policy's actions: historical observations reflect earlier policies, w…
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…
Beyond the Harness: End-to-End Optimization of Context Artifacts for Enterprise Text-to-SQL
Kate Gwimm, Carson Eisenach
Deploying LLMs for enterprise Text-to-SQL is bottlenecked less by the model than by what context reaches it: business logic spans thousands of tables, and no model can ingest a ful…
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…
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…