[Paper] Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
Recent advances in natural language processing (NLP), particularly large language models (LLMs), have motivated the automatic translation of natural language st...