Joseph, T. and 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), pp. 188-201. doi: 10.37284/eajit.7.1.2111.