Brunello, A., Geatti, L., Mignani, M., Montanari, A., & Saccomanno, N. (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–30103. https://doi.org/10.1609/aaai.v40i36.40258