Brunello, Andrea, Luca Geatti, Michele Mignani, Angelo Montanari, and Nicola Saccomanno. 2026. “Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (36):30094-103. https://doi.org/10.1609/aaai.v40i36.40258.