activity
20192026
most citedInductive Logic Programming via Differentiable Deep Neural Logic Networks

22 citations · 57 across the 15 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

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…