Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2305.12295
Cited By
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
20 May 2023
Liangming Pan
Alon Albalak
Xinyi Wang
William Yang Wang
ReLM
LRM
AI4CE
Re-assign community
ArXiv
PDF
HTML
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
91
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
83
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
66
0
0
17 Feb 2025
Logic.py: Bridging the Gap between LLMs and Constraint Solvers
Pascal Kesseli
Peter O'Hearn
Ricardo Silveira Cabral
LRM
45
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
1
2
3
4
Next