Brunello, A. et al. 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 (Mar. 2026), 30094–30103. DOI:https://doi.org/10.1609/aaai.v40i36.40258.