Joseph, T., & Keneth, M. (2024). Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs. East African Journal of Information Technology, 7(1), 188-201. https://doi.org/10.37284/eajit.7.1.2111