author : Luca Pasetto

1 publication
page_white_acrobat NL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic Formulae (SKILLED-LLMs 2026 @ FLoC 2026) — Matteo Magnini, Davide Liga, Luca Pasetto