Learning a Meta-Solver for Syntax-Guided Program Synthesis

Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, and Le Song. ICLR 2019. (Poster PDF · Paper)