Matteo Magnini, Davide Liga, Luca Pasetto: NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae. SKILLED-LLMs@FLoC 2026: 126-143