20 citations · 28 across the 6 of their papers we have counts for
3 papers · 1 filter
Efficient Pragmatic Program Synthesis with Informative Specifications
Saujas Vaduguru, Kevin Ellis, Yewen Pu
Providing examples is one of the most common way for end-users to interact with program synthesizers. However, program synthesis systems assume that examples consistent with the pr…
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
Yichen David Yang, Jeevana Priya Inala, Osbert Bastani +3
A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However,…
Program Synthesis with Pragmatic Communication
Yewen Pu, Kevin Ellis, Marta Kryven +2
Program synthesis techniques construct or infer programs from user-provided specifications, such as input-output examples. Yet most specifications, especially those given by end-us…