A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration

Documenti analoghi

• Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
  di: Pan, Muyu, et al.
  Pubblicazione: (2025)
• Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
  di: Brunello, Andrea, et al.
  Pubblicazione: (2025)
• Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
  di: Thatikonda, Ramya Keerthy, et al.
  Pubblicazione: (2024)
• LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
  di: Pan, Muyu, et al.
  Pubblicazione: (2025)
• Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline
  di: Drishti, Ananya, et al.
  Pubblicazione: (2025)