Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic