Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification

Documenti analoghi

• Assessing the Sensitivity and Alignment of FOL Closeness Metrics
  di: Thatikonda, Ramya Keerthy, et al.
  Pubblicazione: (2025)
• Improving Symbolic Translation of Language Models for Logical Reasoning
  di: Thatikonda, Ramya Keerthy, et al.
  Pubblicazione: (2026)
• Logical Reasoning with Outcome Reward Models for Test-Time Scaling
  di: Thatikonda, Ramya Keerthy, et al.
  Pubblicazione: (2025)
• PiVe: Prompting with Iterative Verification Improving Graph-based Generative Capability of LLMs
  di: Han, Jiuzhou, et al.
  Pubblicazione: (2023)
• VerifiAgent: a Unified Verification Agent in Language Model Reasoning
  di: Han, Jiuzhou, et al.
  Pubblicazione: (2025)