TY  - RPRT
TI  - Natural Language to First-Order Logic LLM-based Autoformalization
AU  - Andrea Brunello
AU  - Cristian Curaba
AU  - Luca Geatti
AU  - Michele Mignani
AU  - Angelo Montanari
AU  - Nicola Saccomanno
PY  - 2026
UR  - https://arxiv.org/abs/2610.12030
ID  - 2610.12030
ER  -