TY - RPRT TI - Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic AU - Muyu Pan AU - Dheeraj Kodakandla AU - Mahfuza Farooque PY - 2025 DO - 10.1109/isncc66965.2025.11250432 UR - https://arxiv.org/abs/2512.02987 ID - 2512.02987 ER -