Brunello A, Geatti L, Mignani M, Montanari A, Saccomanno N. Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 26];40(36):30094-103. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/40258