BRUNELLO, Andrea; GEATTI, Luca; MIGNANI, Michele; MONTANARI, Angelo; SACCOMANNO, Nicola. Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 36, p. 30094–30103, 2026. DOI: 10.1609/aaai.v40i36.40258. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/40258. Acesso em: 26 may. 2026.