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

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

24 May 2023

Ali Payani

Ehsan Shareghi

Faramarz Fekri

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

8 / 8 papers shown

Title
SymPlanner: Deliberate Planning in Language Models with Symbolic Representation Siheng Xiong Jieyu Zhou Zhangding Liu Yusen Su LLMAG LM&Ro 203 0 0 02 May 2025
Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks Rushang Karia Daniel Bramblett D. Dobhal Siddharth Srivastava ELM LRM 35 0 0 11 Oct 2024
A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters Long Hei Matthew Lam Ramya Keerthy Thatikonda Ehsan Shareghi ELM LRM 45 1 0 01 Jun 2024
DELTA: Decomposed Efficient Long-Term Robot Task Planning using Large Language Models Yuchen Liu Luigi Palmieri Sebastian Koch Ilche Georgievski Marco Aiello LM&Ro 52 15 0 04 Apr 2024
Large Language Models Can Learn Temporal Reasoning Siheng Xiong Ali Payani Ramana Rao Kompella Faramarz Fekri LRM 29 75 0 12 Jan 2024
Know Your Needs Better: Towards Structured Understanding of Marketer Demands with Analogical Reasoning Augmented LLMs Junjie Wang Dan Yang Binbin Hu Yue Shen Wen Zhang Jinjie Gu LRM 37 1 0 09 Jan 2024
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 369 12,081 0 04 Mar 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 416 8,650 0 28 Jan 2022