Brunello, Andrea, et al. “Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 36, Mar. 2026, pp. 30094-03, doi:10.1609/aaai.v40i36.40258.