Brunello, A. (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), pp. 30094–30103. doi: 10.1609/aaai.v40i36.40258.