Yewen Pu
Yewen Pu
Autodesk Research
Verified email at - Homepage
Cited by
Cited by
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
arXiv preprint arXiv:1805.08328, 2018
sk_p: a neural program corrector for MOOCs
Y Pu, K Narasimhan, A Solar-Lezama, R Barzilay
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
Inversecsg: Automatic conversion of 3d models to csg trees
T Du, JP Inala, Y Pu, A Spielberg, A Schulz, D Rus, A Solar-Lezama, ...
ACM Transactions on Graphics (TOG) 37 (6), 1-16, 2018
Synthesis of biological models from mutation experiments
AS Koksal, Y Pu, S Srivastava, R Bodik, J Fisher, N Piterman
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
Write, execute, assess: Program synthesis with a repl
K Ellis, M Nye, Y Pu, F Sosa, J Tenenbaum, A Solar-Lezama
arXiv preprint arXiv:1906.04604, 2019
Synthesis of first-order dynamic programming algorithms
Y Pu, R Bodik, S Srivastava
ACM SIGPLAN Notices 46 (10), 83-98, 2011
Selecting representative examples for program synthesis
Y Pu, Z Miranda, A Solar-Lezama, L Kaelbling
International Conference on Machine Learning, 4161-4170, 2018
Compiler auto-vectorization with imitation learning
C Mendis, C Yang, Y Pu, S Amarasinghe, M Carbin
Learning to acquire information
Y Pu, LP Kaelbling, A Solar-Lezama
arXiv preprint arXiv:1704.06131, 2017
Neurosymbolic transformers for multi-agent communication
JP Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ...
arXiv preprint arXiv:2101.03238, 2021
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction
KDD Willis, Y Pu, J Luo, H Chu, T Du, JG Lambourne, A Solar-Lezama, ...
arXiv preprint arXiv:2010.02392, 2020
Program Synthesis with Pragmatic Communication
Y Pu, K Ellis, M Kryven, J Tenenbaum, A Solar-Lezama
arXiv preprint arXiv:2007.05060, 2020
Learning to select examples for program synthesis
Y Pu, Z Miranda, A Solar-Lezama, LP Kaelbling
arXiv preprint arXiv:1711.03243, 2017
Engineering Sketch Generation for Computer-Aided Design
KDD Willis, PK Jayaraman, JG Lambourne, H Chu, Y Pu
arXiv preprint arXiv:2104.09621, 2021
Program Synthesis Guided Reinforcement Learning
Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard
arXiv preprint arXiv:2102.11137, 2021
Neurosymbolic Transformers for Multi-Agent Communication
J Priya Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ...
arXiv e-prints, arXiv: 2101.03238, 2021
Representing Partial Programs with Blended Abstract Semantics
M Nye, Y Pu, M Bowers, J Andreas, JB Tenenbaum, A Solar-Lezama
arXiv preprint arXiv:2012.12964, 2020
Making fast informative queries with learned propagations
Y Pu
Massachusetts Institute of Technology, 2019
Parallel programming with inductive synthesis
S Barman, R Bodik, S Jain, Y Pu, S Srivastava, N Tung
Proceedings of the 3rd USENIX conference on Hot topic in parallelism, 14-14, 2011
The system can't perform the operation now. Try again later.
Articles 1–19