Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

15 July 2023

Papers citing "Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text"

34 / 34 papers shown

Title
HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking Runquan Gui Z. Wang J. Wang Chi Ma Huiling Zhen M. Yuan Jianye Hao Defu Lian Enhong Chen Feng Wu LRM 26 0 0 05 May 2025
Cooking Up Creativity: A Cognitively-Inspired Approach for Enhancing LLM Creativity through Structured Representations Moran Mizrahi Chen Shani Gabriel Stanovsky Dan Jurafsky Dafna Shahaf 24 0 0 29 Apr 2025
LLMs as Planning Modelers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models Marcus Tantakoun Xiaodan Zhu Christian Muise 31 0 0 22 Mar 2025
NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains Wonje Choi Jinwoo Park Sanghyun Ahn Daehee Lee Honguk Woo 31 1 0 02 Mar 2025
BlendRL: A Framework for Merging Symbolic and Neural Policy Learning Hikaru Shindo Quentin Delfosse D. Dhami Kristian Kersting 27 3 0 15 Oct 2024
Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data Jiaming Zhou Abbas Ghaddar Ge Zhang Liheng Ma Yaochen Hu Soumyasundar Pal Mark J. Coates Bin Wang Yingxue Zhang Jianye Hao ReLM LRM 17 0 0 19 Sep 2024
Autoformalization of Game Descriptions using Large Language Models Agnieszka Mensfelt Kostas Stathis Vince Trencsenyi OffRL AI4CE LRM 26 2 0 18 Sep 2024
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language Hossein Rajaby Faghihi Aliakbar Nafar Andrzej Uszok Hamid Karimian Parisa Kordjamshidi 16 0 0 30 Jul 2024
Effective Large Language Model Debugging with Best-first Tree Search Jialin Song Jonathan Raiman Bryan Catanzaro LRM 25 0 0 26 Jul 2024
LLASP: Fine-tuning Large Language Models for Answer Set Programming Erica Coppolillo Francesco Calimeri Giuseppe Manco S. Perri Francesco Ricca 24 0 0 26 Jul 2024
ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning Zhongsheng Wang Jiamou Liu Qiming Bao Hongfei Rong Jingfeng Zhang KELM LRM 20 0 0 14 Jul 2024
A Training Data Recipe to Accelerate A* Search with Language Models Devaansh Gupta Boyang Li 21 0 0 13 Jul 2024
Neuro-symbolic Training for Reasoning over Spatial Language Tanawan Premsri Parisa Kordjamshidi NAI LRM 27 5 0 19 Jun 2024
SpaRC and SpaRP: Spatial Reasoning Characterization and Path Generation for Understanding Spatial Reasoning Capability of Large Language Models Md Imbesat Hassan Rizvi Xiaodan Zhu Iryna Gurevych LRM 14 1 0 07 Jun 2024
TopViewRS: Vision-Language Models as Top-View Spatial Reasoners Chengzu Li Caiqi Zhang Han Zhou Nigel Collier Anna Korhonen Ivan Vulić LRM 16 14 0 04 Jun 2024
ACCORD: Closing the Commonsense Measurability Gap François Roewer-Després Jinyue Feng Zining Zhu Frank Rudzicz LRM 26 0 0 04 Jun 2024
A Human-Like Reasoning Framework for Multi-Phases Planning Task with Large Language Models Chengxing Xie Difan Zou LRM LLMAG 19 4 0 28 May 2024
LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs Sudhir Agarwal A. Sreepathy David H. Alonso Prarit Lamba LRM 25 1 0 21 May 2024
Mind's Eye of LLMs: Visualization-of-Thought Elicits Spatial Reasoning in Large Language Models Wenshan Wu Shaoguang Mao Yadong Zhang Yan Xia Li Dong Lei Cui Furu Wei LRM 19 18 0 04 Apr 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications Manuel Borroto Irfan Kareem Francesco Ricca CoGe 18 1 0 07 Mar 2024
DeiSAM: Segment Anything with Deictic Prompting Hikaru Shindo Manuel Brack Gopika Sudhakaran D. Dhami P. Schramowski Kristian Kersting VLM 16 0 0 21 Feb 2024
TIC: Translate-Infer-Compile for accurate "text to plan" using LLMs and Logical Representations Sudhir Agarwal A. Sreepathy 13 0 0 09 Feb 2024
Graph-enhanced Large Language Models in Asynchronous Plan Reasoning Fangru Lin Emanuele La Malfa Valentin Hofmann Elle Michelle Yang Anthony Cohn J. Pierrehumbert LRM 40 6 0 05 Feb 2024
Understanding the planning of LLM agents: A survey Xu Huang Weiwen Liu Xiaolong Chen Xingmei Wang Hao Wang Defu Lian Yasheng Wang Ruiming Tang Enhong Chen LLMAG LM&Ro 6 126 0 05 Feb 2024
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning Daniel Cunnington Mark Law Jorge Lobo Alessandra Russo NAI 21 1 0 02 Feb 2024
Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark Fangjun Li David C. Hogg Anthony G. Cohn LRM 25 6 0 08 Jan 2024
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS) Vishal Pallagani Kaushik Roy Bharath Muppasani F. Fabiano Andrea Loreggia K. Murugesan Biplav Srivastava F. Rossi L. Horesh Amit P. Sheth 13 35 0 04 Jan 2024
Dynamic Planning with a LLM Gautier Dagan Frank Keller A. Lascarides LLMAG 80 34 0 11 Aug 2023
Teaching Probabilistic Logical Reasoning to Transformers Aliakbar Nafar K. Venable Parisa Kordjamshidi ReLM LRM 9 3 0 22 May 2023
IELM: An Open Information Extraction Benchmark for Pre-Trained Language Models Chenguang Wang Xiao Liu Dawn Song VLM 8 1 0 25 Oct 2022
Compositional Semantic Parsing with Large Language Models Andrew Drozdov Nathanael Scharli Ekin Akyuurek Nathan Scales Xinying Song Xinyun Chen Olivier Bousquet Denny Zhou ReLM LRM 184 91 0 29 Sep 2022
Large Language Models are Few-Shot Clinical Information Extractors Monica Agrawal S. Hegselmann Hunter Lang Yoon Kim David Sontag BDL LM&MA 143 327 0 25 May 2022
The Power of Prompt Tuning for Low-Resource Semantic Parsing Nathan Schucher Siva Reddy H. D. Vries VLM 90 36 0 16 Oct 2021
Constrained Language Models Yield Few-Shot Semantic Parsers Richard Shin C. H. Lin Sam Thomson Charles C. Chen Subhro Roy Emmanouil Antonios Platanios Adam Pauls Dan Klein J. Eisner Benjamin Van Durme 287 196 0 18 Apr 2021