Joseph, T.; Keneth, M. Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs. EAJIT 2024, 7, 188-201.