@misc{indiciaeebc05da44c55,
  title = {Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy},
  author = {Andrea Brunello and Luca Geatti and Michele Mignani and Angelo Montanari and Nicola Saccomanno},
  year = {2025},
  doi = {10.1609/aaai.v40i36.40258},
  url = {https://arxiv.org/abs/2511.11816},
  note = {Source identifier: 2511.11816}
}