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

Wray L. Buntine

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

Title
No papers