159 citations · 235 across the 19 of their papers we have counts for
4 papers · 1 filter
Communicating Natural Programs to Humans and Machines
Samuel Acquaviva, Yewen Pu, Marta Kryven +6
The Abstraction and Reasoning Corpus (ARC) is a set of procedural tasks that tests an agent's ability to flexibly solve novel problems. While most ARC tasks are easy for humans, th…
Engineering Sketch Generation for Computer-Aided Design
Karl D. D. Willis, Pradeep Kumar Jayaraman, Joseph G. Lambourne +2
Engineering sketches form the 2D basis of parametric Computer-Aided Design (CAD), the foremost modeling paradigm for manufactured objects. In this paper we tackle the problem of le…
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,…
Neurosymbolic Transformers for Multi-Agent Communication
Jeevana Priya Inala, Yichen Yang, James Paulos +5
We study the problem of inferring communication structures that can solve cooperative multi-agent planning problems while minimizing the amount of communication. We quantify the am…