Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs - Joseph, Tibakanya; Keneth, Male (East African Journal of Information Technology, 2024)