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 2026, 40, 30094-30103.