Learning a Meta-Solver for Syntax-Guided Program Synthesis

Xujie Si*, Yuan Yang*, Hanjun Dai, Mayur Naik, Le Song
January 2019
PDF
Type
Conference paper
Publication
International Conference on Learning Representations