Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

20 May 2023

Papers citing "Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

50 / 165 papers shown

Title
DYSTIL: Dynamic Strategy Induction with Large Language Models for Reinforcement Learning Borui Wang Kathleen McKeown Rex Ying OffRL 34 0 0 06 May 2025
Sailing AI by the Stars: A Survey of Learning from Rewards in Post-Training and Test-Time Scaling of Large Language Models Xiaobao Wu LRM 72 1 0 05 May 2025
An LLM-enabled Multi-Agent Autonomous Mechatronics Design Framework Zeyu Wang Frank P.-W. Lo Qian Chen Yongqi Zhang Chen Lin Xu Chen Zhenhua Yu Alexander J. Thompson Eric M. Yeatman Benny P. L. Lo AI4CE 26 0 0 20 Apr 2025
Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration Yicheng Pan Zhenrong Zhang Pengfei Hu Jiefeng Ma Jun Du Jianshu Zhang Quan Liu J. Gao Feng Ma LRM 33 0 0 17 Apr 2025
ReTool: Reinforcement Learning for Strategic Tool Use in LLMs Jiazhan Feng Shijue Huang Xingwei Qu Ge Zhang Yujia Qin Baoquan Zhong Chengquan Jiang Jinxin Chi Wanjun Zhong OffRL ReLM SyDa KELM LRM 54 5 0 15 Apr 2025
On the Temporal Question-Answering Capabilities of Large Language Models Over Anonymized Data Alfredo Garrachón Ruiz T. D. L. Rosa Daniel Borrajo LRM 34 0 0 10 Apr 2025
Learning to Reason Over Time: Timeline Self-Reflection for Improved Temporal Reasoning in Language Models Adrián Bazaga Rexhina Blloshmi Bill Byrne Adria de Gispert ReLM LRM 25 0 0 07 Apr 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement Xin Quan Marco Valentino Danilo S. Carvalho Dhairya Dalal André Freitas LRM 33 0 0 05 Apr 2025
Grounding Agent Reasoning in Image Schemas: A Neurosymbolic Approach to Embodied Cognition François Olivier Zied Bouraoui LM&Ro 38 0 0 31 Mar 2025
L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution Simeng Sun Cheng-Ping Hsieh Faisal Ladhak Erik Arakelyan Santiago Akle Serano Boris Ginsburg ReLM ELM LRM 88 0 0 28 Mar 2025
GateLens: A Reasoning-Enhanced LLM Agent for Automotive Software Release Analytics Arsham Gholamzadeh Khoee Shuai Wang Yinan Yu R. Feldt Dhasarathy Parthasarathy 51 1 0 27 Mar 2025
A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond Xiaoye Qu Yafu Li Zhaochen Su Weigao Sun Jianhao Yan ... Chaochao Lu Yue Zhang Xian-Sheng Hua Bowen Zhou Yu Cheng ReLM OffRL LRM 80 12 0 27 Mar 2025
Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning Shaun Baek Shaun Esua-Mensah Cyrus Tsui Sejan Vigneswaralingam Abdullah Alali Michael Lu Vasu Sharma Sean O'Brien Kevin Zhu LRM 51 0 0 25 Mar 2025
LLMs as Planning Modelers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models Marcus Tantakoun Xiaodan Zhu Christian Muise 36 2 0 22 Mar 2025
Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding Imran Kabir Md. Alimoor Reza Syed Masum Billah ReLM VLM LRM 78 0 0 16 Mar 2025
Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning Jonathan Shaki Emanuele La Malfa Michael Wooldridge Sarit Kraus LRM ReLM 64 0 0 13 Mar 2025
Self-Taught Self-Correction for Small Language Models Viktor Moskvoretskii Chris Biemann Irina Nikishina LRM 64 0 0 11 Mar 2025
Intent-Aware Self-Correction for Mitigating Social Biases in Large Language Models Panatchakorn Anantaprayoon Masahiro Kaneko Naoaki Okazaki LRM KELM 50 0 0 08 Mar 2025
LLMs Can Generate a Better Answer by Aggregating Their Own Responses Zichong Li Xinyu Feng Yuheng Cai Zixuan Zhang Tianyi Liu Chen Liang Weizhu Chen Haoyu Wang T. Zhao LRM 50 1 0 06 Mar 2025
SpiritSight Agent: Advanced GUI Agent with One Look Zhiyuan Huang Ziming Cheng Junting Pan Zhaohui Hou Mingjie Zhan LLMAG 99 2 0 05 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 77 1 0 02 Mar 2025
Order Doesn't Matter, But Reasoning Does: Training LLMs with Order-Centric Augmentation Qianxi He Qianyu He Jiaqing Liang Yanghua Xiao Weikang Zhou Zeye Sun Fei Yu LRM 71 0 0 27 Feb 2025
TextGames: Learning to Self-Play Text-Based Puzzle Games via Language Model Reasoning Frederikus Hudi Genta Indra Winata Ruochen Zhang Alham Fikri Aji ReLM LRM 80 2 0 25 Feb 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment Jinu Lee Qi Liu Runzhi Ma Vincent Han Ziqi Wang Heng Ji J. Hockenmaier 45 0 0 24 Feb 2025
The Lottery LLM Hypothesis, Rethinking What Abilities Should LLM Compression Preserve? Zhenheng Tang Xiang Liu Qian Wang Peijie Dong Bingsheng He Xiaowen Chu Bo Li LRM 53 1 0 24 Feb 2025
Making LLMs Reason? The Intermediate Language Problem in Neurosymbolic Approaches Alexander Beiser David Penz LRM 41 0 0 24 Feb 2025
Integrating Expert Knowledge into Logical Programs via LLMs Franciszek Górski Oskar Wysocki Marco Valentino André Freitas 63 0 0 17 Feb 2025
Logic.py: Bridging the Gap between LLMs and Constraint Solvers Pascal Kesseli Peter O'Hearn Ricardo Silveira Cabral LRM 43 0 0 17 Feb 2025
MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training Xinxin You Xien Liu Qixin Sun Huan Zhang Kaiyin Zhou Shaohui Liu Guoping Hu Shijin Wang Si Liu Ji Wu 83 0 0 13 Feb 2025
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation Chengwen Qi Ren Ma Bowen Li He Du Binyuan Hui Jinwang Wu Yuanjun Laili Conghui He ReLM LRM 72 2 0 10 Feb 2025
TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues Yubin Ge Salvatore Romeo Jason (Jinglun) Cai Raphael Shu Monica Sunkara Yassine Benajiba Yi Zhang LLMAG 78 1 0 03 Feb 2025
Improving Rule-based Reasoning in LLMs via Neurosymbolic Representations Varun Dhanraj Chris Eliasmith LRM 50 0 0 31 Jan 2025
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 33 0 0 31 Dec 2024
ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes Shengxin Hong Liang Xiao Xin Zhang Jian-Xing Chen LRM 35 2 0 31 Dec 2024
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework Jundong Xu Hao Fei Meng Luo Qian Liu Liangming Pan William Yang Wang Preslav Nakov M. Lee W. Hsu LRM 83 1 0 22 Dec 2024
Argumentation Computation with Large Language Models : A Benchmark Study Zhaoqun Li Xiaotong Fang Chen Chen Mengze Li Beishui Liao LRM 73 0 0 21 Dec 2024
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 20 0 20 Dec 2024
QUENCH: Measuring the gap between Indic and Non-Indic Contextual General Reasoning in LLMs Mohammad Aflah Khan Neemesh Yadav Sarah Masud Md. Shad Akhtar 71 0 0 16 Dec 2024
Towards Full Delegation: Designing Ideal Agentic Behaviors for Travel Planning Song Jiang Da JU Andrew Cohen Sasha Mitts Aaron Foss Justine T Kao Xian Li Yuandong Tian 62 2 0 21 Nov 2024
Generalist Virtual Agents: A Survey on Autonomous Agents Across Digital Platforms Minghe Gao Wendong Bu Bingchen Miao Yang Wu Yunfei Li Juncheng Billy Li Siliang Tang Qi Wu Yueting Zhuang Meng Wang LM&Ro 33 3 0 17 Nov 2024
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends Xin Zhang Victor S. Sheng AI4TS 31 3 0 07 Nov 2024
TableGPT2: A Large Multimodal Model with Tabular Data Integration Aofeng Su Aowen Wang Chao Ye Chen Zhou G. Zhang ... Xijun Gu X. Sun X. Li Y. Yang Zhiqing Xiao PINN VLM LMTD 65 10 0 04 Nov 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia P. Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 74 3 0 01 Nov 2024
On Memorization of Large Language Models in Logical Reasoning Chulin Xie Yangsibo Huang Chiyuan Zhang Da Yu Xinyun Chen Bill Yuchen Lin Bo Li Badih Ghazi Ravi Kumar LRM 45 20 0 30 Oct 2024
Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach Qingchuan Li Jiatong Li Tongxuan Liu Yuting Zeng Mingyue Cheng Weizhe Huang Qi Liu LRM AI4CE 42 2 0 29 Oct 2024
SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement Antonis Antoniades Albert Örwall Kexun Zhang Yuxi Xie Anirudh Goyal William Yang Wang LLMAG 51 11 0 26 Oct 2024
Controllable Generation via Locally Constrained Resampling Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 18 2 0 17 Oct 2024
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming Yilun Hao Yang Zhang Chuchu Fan LLMAG 34 10 0 15 Oct 2024
FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware Minwoo Kang Mingjie Liu Ghaith Bany Hamad Syed Suhaib Haoxing Ren LRM 18 2 0 15 Oct 2024
Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree Yuanyuan Lei Ruihong Huang 21 1 0 15 Oct 2024