T. Joseph et M. Keneth, Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs, EAJIT, vol. 7, nᵒ 1, p. 188-201, août 2024.