Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation

Download PDF

Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno

Published: 01 Jan 2024, Last Modified: 05 May 2025OVERLAY 2024EveryoneRevisionsBibTeXCC BY-SA 4.0