Cite
Notes
Only stored in your browser.
Attribution
Can LLMs Reason in the Wild with Programs?
arXiv 2024
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
arXiv 2023
from 2 papers
Ali Payani
Ehsan Shareghi
Faramarz Fekri
Siheng Xiong