Overview
(current)
About
Learning a Meta-Solver for Syntax-Guided Program Synthesis
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song. ICLR 2019. (
Poster PDF
)