papers
Publications (5)
cs.AI2018
Selecting Representative Examples for Program Synthesis
Yewen Pu, Zachery Miranda, Armando Solar-Lezama +1
cs.PL2016
sk_p: a neural program corrector for MOOCs
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama +1
cs.PL2019
Write, Execute, Assess: Program Synthesis with a REPL
Kevin Ellis, Maxwell Nye, Yewen Pu +3
cs.LG2019
Verifiable Reinforcement Learning via Policy Extraction
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
cs.AI2017
Learning to Acquire Information
Yewen Pu, Leslie P Kaelbling, Armando Solar-Lezama