Cite
Notes
Only stored in your browser.
Attribution
Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
arXiv 2024
from 1 papers
Ehsan Shareghi
Jiuzhou Han
Wray Buntine