LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

Neuronlike adaptive elements that can solve difficult learning control problems

A. G. Barto, R. S. Sutton, and C. W. Anderson · 1983

Earlier work this paper cites.

A framework for explaining reasoning in description logics

Xi Deng, Volker Haarslev, and Nematollaah Shiri · 2005

Earlier work this paper cites.

What is answer set programming?

Vladimir Lifschitz · 2008

Earlier work this paper cites.

Clingo = asp + control: Preliminary report, 2014

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub · 2014

Earlier work this paper cites.

Braid: Weaving symbolic and neural knowledge into coherent logical explanations

Aditya Kalyanpur, Tom Breloff, and David A Ferrucci · 2022

Earlier work this paper cites.

Advancements in xasp, an XAI system for answer set programming

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, and Marcello Balduccini · 2023

Earlier work this paper cites.

Taskmatrix.ai: Completing tasks by connecting foundation models with millions of apis, 2023

Yaobo Liang, Chenfei Wu, Ting Song, Wenshan Wu, Yan Xia, Yu Liu, Yang Ou, Shuai Lu, Lei Ji, Shaoguang Mao, Yun Wang, Linjun Shou, Ming Gong, and Nan Duan · 2023

Earlier work this paper cites.

LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers

Theo Olausson, Alex Gu, Ben Lipkin, Cedegao Zhang, Armando Solar-Lezama, Joshua Tenenbaum, and Roger Levy · 2023

Cited alongside, same era.

Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning

Liangming Pan, Alon Albalak, Xinyi Wang, and William Wang · 2023

Cited alongside, same era.

Cat-lm training language models on aligned code and tests

Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, and Vincent J. Hellendoorn · 2023

Cited alongside, same era.

Toolformer: Language models can teach themselves to use tools, 2023

Timo Schick, Jane Dwivedi-Yu, Roberto Dessì, Roberta Raileanu, Maria Lomeli, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom · 2023

Cited alongside, same era.

On the planning abilities of large language models : A critical investigation

Karthik Valmeekam, Matthew Marquez, Sarath Sreedharan, and Subbarao Kambhampati · 2023

Cited alongside, same era.

Beyond llms: Advancing the landscape of complex reasoning, 2024

Jennifer Chu-Carroll, Andrew Beck, Greg Burnham, David OS Melville, David Nachman, A. Erdem Özcan, and David Ferrucci · 2024

Closest in time.

A real-world webagent with planning, long context understanding, and program synthesis, 2024

Izzeddin Gur, Hiroki Furuta, Austin Huang, Mustafa Safdari, Yutaka Matsuo, Douglas Eck, and Aleksandra Faust · 2024

Closest in time.

Folio: Natural language reasoning with first-order logic, 2024

Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Wenfei Zhou, James Coady, David Peng, Yujie Qiao, Luke Benson, Lucy Sun, Alex Wardle-Solano, Hannah Szabo, Ekaterina Zubova, Matthew Burtell, Jonathan Fan, Yixin Liu, Brian Wong, Malcolm Sailor, Ansong Ni, Linyong Nan, Jungo Kasai, Tao Yu, Rui Zhang, Alexander R. Fabbri, Wojciech Kryscinski, Semih Yavuz, Ye Liu, Xi Victoria Lin, Shafiq Joty, Yingbo Zhou, Caiming Xiong, Rex Ying, Arman Cohan, and Dragomir Radev · 2024

Closest in time.

Llms can’t plan, but can help planning in llm-modulo frameworks

Original

Subbarao Kambhampati, Karthik Valmeekam, Lin Guan, Kaya Stechly, Mudit Verma, Siddhant Bhambri, Lucas Saldyt, and Anil Murthy · 2024

Closest in time.