A. Brunello, L. Geatti, M. Mignani, A. Montanari, and N. Saccomanno, “Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy”, AAAI, vol. 40, no. 36, pp. 30094–30103, Mar. 2026.