Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy. - Andrea Brunello; Luca Geatti; Michele Mignani; Angelo Montanari; Nicola Saccomanno (CoRR, 2025)