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

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

collaborators

1 paper

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…