Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy

Documenti analoghi

• Automata-less Monitoring via Trace-Checking (Extended Version)
  di: Brunello, Andrea, et al.
  Pubblicazione: (2025)
• Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
  di: Brunello, Andrea, et al.
  Pubblicazione: (2025)
• Complexity of Safety and coSafety Fragments of Linear Temporal Logic
  di: Artale, Alessandro, et al.
  Pubblicazione: (2022)
• A first-order logic characterization of safety and co-safety languages
  di: Cimatti, Alessandro, et al.
  Pubblicazione: (2022)
• Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
  di: Geatti, Luca, et al.
  Pubblicazione: (2024)