{"id":"2512.02987","title":"Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic","url":"https://codeofpaper.com/paper/2512.02987","arxiv_url":"https://arxiv.org/abs/2512.02987","published":"2025-12-02","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":9}