TY  - RPRT
TI  - Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
AU  - Ramya Keerthy Thatikonda
AU  - Jiuzhou Han
AU  - Wray Buntine
AU  - Ehsan Shareghi
PY  - 2024
UR  - https://arxiv.org/abs/2409.16461
ID  - 2409.16461
ER  -