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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Yewen Pu

Program Synthesis Guided Reinforcement Learning


Feb 22, 2021
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


Jan 05, 2021
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


Dec 23, 2020
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


Oct 05, 2020
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


Jul 09, 2020
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

Write, Execute, Assess: Program Synthesis with a REPL


Jun 09, 2019
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama

* The first four authors contributed equally to this work 

  Access Paper or Ask Questions

Selecting Representative Examples for Program Synthesis


Jun 07, 2018
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling


  Access Paper or Ask Questions

Verifiable Reinforcement Learning via Policy Extraction


May 22, 2018
Osbert Bastani, Yewen Pu, Armando Solar-Lezama


  Access Paper or Ask Questions

Learning to Acquire Information


Jul 11, 2017
Yewen Pu, Leslie P Kaelbling, Armando Solar-Lezama


  Access Paper or Ask Questions

sk_p: a neural program corrector for MOOCs


Jul 11, 2016
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay


  Access Paper or Ask Questions