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

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

24 September 2024

Ramya Keerthy Thatikonda

ArXiv (abs)PDF HTML

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

Title
No papers