Volume: Vol-4229 SKILLED-LLMs 2026 | Year: 2026

Paper: « paper12 | paper13 | paper15 »

NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae

• Matteo Magnini
• Davide Liga
• Luca Pasetto

126-143 PDF