TY  - RPRT
TI  - Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
AU  - Andrea Brunello
AU  - Luca Geatti
AU  - Michele Mignani
AU  - Angelo Montanari
AU  - Nicola Saccomanno
PY  - 2025
DO  - 10.1609/aaai.v40i36.40258
UR  - https://arxiv.org/abs/2511.11816
ID  - 2511.11816
ER  -