JOSEPH, T.; KENETH, M. Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs. East African Journal of Information Technology, v. 7, n. 1, p. 188-201, 15 ago. 2024.