most citedHarnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing cs.CLShow all

2 papers · 1 filter

cs.CL2024

Can LLMs Reason in the Wild with Programs?

Yuan Yang, Siheng Xiong, Ali Payani +2

Large Language Models (LLMs) have shown superior capability to solve reasoning problems with programs. While being a promising direction, most of such frameworks are trained and ev…

cs.CL2023★ 3 cited

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation

Yuan Yang, Siheng Xiong, Ali Payani +2

Translating natural language sentences to first-order logic (NL-FOL translation) is a longstanding challenge in the NLP and formal logic literature. This paper introduces LogicLLaM…