Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic. - Muyu Pan; Dheeraj Kodakandla; Mahfuza Farooque (ISNCC, 2025)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving. - Muyu Pan; Matthew Walter; Dheeraj Kodakandla; Mahfuza Farooque (CoRR, 2025)

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline. - Xuan Liu; Dheeraj Kodakandla; Kushagra Srivastva; Mahfuza Farooque (CoRR, 2026)