Learning a Meta-Solver for Syntax-Guided Program Synthesis

Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song. Learning a Meta-Solver for Syntax-Guided Program Synthesis. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]

Abstract

Abstract is missing.