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)

QuantLRM: Quantization of Large Reasoning Models via Fine-Tuning Signals. - Nan Zhang; Eugene Kwek; Yusen Zhang 001; Muyu Pan; Suhang Wang; Prasenjit Mitra 001; Rui Zhang 037 (CoRR, 2026)