D. Vitel, S. Steinle, and J. Licato, “Enforcing Grammar in Code Synthesis with Transformers”, FLAIRS, vol. 36, no. 1, May 2023.