Georgia Institute of Technology; University of Pennsylvania
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
Syntax-guided Synthesis;Context Free Grammar;Logical Specification;Representation Learning;Meta Learning;Reinforcement Learning
Learning a Meta-Solver for Syntax-Guided Program Synthesis