Parsert, J.; Polgreen, E. Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. AAAI 2024, 38, 10670-10678.