Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. - Andrea Brunello; Riccardo Ferrarese; Luca Geatti; Enrico Marzano; Angelo Montanari; Nicola Saccomanno (OVERLAY, 2024)