J. Parsert and E. Polgreen, “Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis”, AAAI, vol. 38, no. 9, pp. 10670–10678, Mar. 2024.