Learning a Meta-Solver for Syntax-Guided Program Synthesis.

Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song

Browse the full ICLR paper archive.