Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints



Karl D. D. Willis , Pradeep Kumar Jayaraman , Hang Chu , Yunsheng Tian , Yifei Li , Daniele Grandi , Aditya Sanghi , Linh Tran , Joseph G. Lambourne , Armando Solar-Lezama , Wojciech Matusik


   Access Paper or Ask Questions

Safe Human-Interactive Control via Shielding



Jeevana Priya Inala , Yecheng Jason Ma , Osbert Bastani , Xin Zhang , Armando Solar-Lezama


   Access Paper or Ask Questions

Program Synthesis Guided Reinforcement Learning



Yichen Yang , Jeevana Priya Inala , Osbert Bastani , Yewen Pu , Armando Solar-Lezama , Martin Rinard


   Access Paper or Ask Questions

Neurosymbolic Transformers for Multi-Agent Communication



Jeevana Priya Inala , Yichen Yang , James Paulos , Yewen Pu , Osbert Bastani , Vijay Kumar , Martin Rinard , Armando Solar-Lezama


   Access Paper or Ask Questions

Representing Partial Programs with Blended Abstract Semantics



Maxwell Nye , Yewen Pu , Matthew Bowers , Jacob Andreas , Joshua B. Tenenbaum , Armando Solar-Lezama


   Access Paper or Ask Questions

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction



Karl D. D. Willis , Yewen Pu , Jieliang Luo , Hang Chu , Tao Du , Joseph G. Lambourne , Armando Solar-Lezama , Wojciech Matusik


   Access Paper or Ask Questions

Program Synthesis with Pragmatic Communication



Yewen Pu , Kevin Ellis , Marta Kryven , Josh Tenenbaum , Armando Solar-Lezama

* The second author and the third author contributed equally to this work 

   Access Paper or Ask Questions

Verifiably Safe Exploration for End-to-End Reinforcement Learning



Nathan Hunt , Nathan Fulton , Sara Magliacane , Nghia Hoang , Subhro Das , Armando Solar-Lezama


   Access Paper or Ask Questions

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning



Kevin Ellis , Catherine Wong , Maxwell Nye , Mathias Sable-Meyer , Luc Cary , Lucas Morales , Luke Hewitt , Armando Solar-Lezama , Joshua B. Tenenbaum


   Access Paper or Ask Questions

Learning Compositional Rules via Neural Program Synthesis



Maxwell I. Nye , Armando Solar-Lezama , Joshua B. Tenenbaum , Brenden M. Lake


   Access Paper or Ask Questions

1
2
3
>>