Joseph T, Keneth M. Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs. EAJIT [Internet]. 15Aug.2024 [cited 27Aug.2025];7(1):188-01. Available from: https://www.journals.eanso.org/index.php/eajit/article/view/2111