Execution-Guided Neural Program Synthesis

Xinyun Chen, Chang Liu, Dawn Song. ICLR 2019.  (Poster PDF)