Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic 2026/8/24 16:09:06