ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2305.12295
  4. Cited By
Logic-LM: Empowering Large Language Models with Symbolic Solvers for
  Faithful Logical Reasoning

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
ArXivPDFHTML

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

50 / 165 papers shown
Title
A Survey on the Integration of Generative AI for Critical Thinking in
  Mobile Networks
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks
Athanasios Karapantelakis
Alexandros Nikou
Ajay Kattepur
Jean Martins
Leonid Mokrushin
S. Mohalik
Marin Orlic
Aneta Vulgarakis Feljan
24
1
0
10 Apr 2024
Language Models as Compilers: Simulating Pseudocode Execution Improves
  Algorithmic Reasoning in Language Models
Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models
Hyungjoo Chae
Yeonghyeon Kim
Seungone Kim
Kai Tzu-iunn Ong
Beong-woo Kwak
...
Seonghwan Kim
Taeyoon Kwon
Jiwan Chung
Youngjae Yu
Jinyoung Yeo
LRM
ReLM
32
13
0
03 Apr 2024
Towards Generalizable and Faithful Logic Reasoning over Natural Language
  via Resolution Refutation
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
Zhouhao Sun
Xiao Ding
LI DU
Bibo Cai
Jin-Fang Gao
Ting Liu
Bing Qin
LRM
ReLM
26
0
0
02 Apr 2024
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
Minyu Chen
Guoqiang Li
Ling-I Wu
Ruibang Liu
Yuxin Su
Xi Chang
Jianxin Xue
LLMAG
ELM
LRM
26
0
0
24 Mar 2024
ChainLM: Empowering Large Language Models with Improved Chain-of-Thought
  Prompting
ChainLM: Empowering Large Language Models with Improved Chain-of-Thought Prompting
Xiaoxue Cheng
Junyi Li
Wayne Xin Zhao
Ji-Rong Wen
LRM
AI4CE
ReLM
47
6
0
21 Mar 2024
LeanReasoner: Boosting Complex Logical Reasoning with Lean
LeanReasoner: Boosting Complex Logical Reasoning with Lean
Dongwei Jiang
Marcio Fonseca
Shay B. Cohen
LRM
28
14
0
20 Mar 2024
Large Language Models and Causal Inference in Collaboration: A Survey
Large Language Models and Causal Inference in Collaboration: A Survey
Xiaoyu Liu
Paiheng Xu
Junda Wu
Jiaxin Yuan
Yifan Yang
...
Haoliang Wang
Tong Yu
Julian McAuley
Wei Ai
Furong Huang
ELM
LRM
72
5
0
14 Mar 2024
SynCode: LLM Generation with Grammar Augmentation
SynCode: LLM Generation with Grammar Augmentation
Shubham Ugare
Tarun Suresh
Hangoo Kang
Sasa Misailovic
Gagandeep Singh
32
12
0
03 Mar 2024
Confidence Matters: Revisiting Intrinsic Self-Correction Capabilities of
  Large Language Models
Confidence Matters: Revisiting Intrinsic Self-Correction Capabilities of Large Language Models
Loka Li
Zhenhao Chen
Guan-Hong Chen
Yixuan Zhang
Yusheng Su
Eric P. Xing
Kun Zhang
LRM
36
15
0
19 Feb 2024
DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
Yu Zhang
Hui-Ling Zhen
Zehua Pei
Yingzhao Lian
Lihao Yin
M. Yuan
Bei Yu
LRM
31
3
0
19 Feb 2024
SciAgent: Tool-augmented Language Models for Scientific Reasoning
SciAgent: Tool-augmented Language Models for Scientific Reasoning
Yubo Ma
Zhibin Gou
Junheng Hao
Ruochen Xu
Shuohang Wang
...
Yujiu Yang
Yixin Cao
Aixin Sun
Hany Awadalla
Weizhu Chen
RALM
LRM
LLMAG
38
21
0
18 Feb 2024
CliqueParcel: An Approach For Batching LLM Prompts That Jointly
  Optimizes Efficiency And Faithfulness
CliqueParcel: An Approach For Batching LLM Prompts That Jointly Optimizes Efficiency And Faithfulness
Jiayi Liu
Tinghan Yang
Jennifer Neville
11
10
0
17 Feb 2024
Puzzle Solving using Reasoning of Large Language Models: A Survey
Puzzle Solving using Reasoning of Large Language Models: A Survey
Panagiotis Giadikiaroglou
Maria Lymperaiou
Giorgos Filandrianos
Giorgos Stamou
ELM
ReLM
LRM
11
24
0
17 Feb 2024
LLM can Achieve Self-Regulation via Hyperparameter Aware Generation
LLM can Achieve Self-Regulation via Hyperparameter Aware Generation
Siyin Wang
Shimin Li
Tianxiang Sun
Jinlan Fu
Qinyuan Cheng
Jiasheng Ye
Junjie Ye
Xipeng Qiu
Xuanjing Huang
16
4
0
17 Feb 2024
Relative Preference Optimization: Enhancing LLM Alignment through
  Contrasting Responses across Identical and Diverse Prompts
Relative Preference Optimization: Enhancing LLM Alignment through Contrasting Responses across Identical and Diverse Prompts
Yueqin Yin
Zhendong Wang
Yi Gu
Hai Huang
Weizhu Chen
Mingyuan Zhou
19
19
0
12 Feb 2024
Understanding Reasoning Ability of Language Models From the Perspective
  of Reasoning Paths Aggregation
Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation
Xinyi Wang
Alfonso Amayuelas
Kexun Zhang
Liangming Pan
Wenhu Chen
W. Wang
LRM
32
11
0
05 Feb 2024
FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
Chinmay Mittal
Krishna Kartik
Mausam
Parag Singla
LRM
31
1
0
04 Feb 2024
LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
Subbarao Kambhampati
Karthik Valmeekam
L. Guan
Mudit Verma
Kaya Stechly
Siddhant Bhambri
Lucas Saldyt
Anil Murthy
LRM
84
108
0
02 Feb 2024
Conditional and Modal Reasoning in Large Language Models
Conditional and Modal Reasoning in Large Language Models
Wesley H. Holliday
M. Mandelkern
Cedegao E. Zhang
LRM
24
5
0
30 Jan 2024
Towards Goal-oriented Prompt Engineering for Large Language Models: A
  Survey
Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey
Haochen Li
Jonathan Leung
Zhiqi Shen
LM&MA
LLMAG
LRM
18
0
0
25 Jan 2024
ConstraintChecker: A Plugin for Large Language Models to Reason on
  Commonsense Knowledge Bases
ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases
Quyet V. Do
Tianqing Fang
Shizhe Diao
Zhaowei Wang
Yangqiu Song
LRM
52
10
0
25 Jan 2024
TPD: Enhancing Student Language Model Reasoning via Principle Discovery
  and Guidance
TPD: Enhancing Student Language Model Reasoning via Principle Discovery and Guidance
Haorui Wang
Rongzhi Zhang
Yinghao Li
Lingkai Kong
Yuchen Zhuang
Xiusi Chen
Chao Zhang
LRM
38
5
0
24 Jan 2024
Large Language Models Can Learn Temporal Reasoning
Large Language Models Can Learn Temporal Reasoning
Siheng Xiong
Ali Payani
Ramana Rao Kompella
Faramarz Fekri
LRM
27
73
0
12 Jan 2024
On the Prospects of Incorporating Large Language Models (LLMs) in
  Automated Planning and Scheduling (APS)
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
18
38
0
04 Jan 2024
GeomVerse: A Systematic Evaluation of Large Models for Geometric
  Reasoning
GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning
Mehran Kazemi
Hamidreza Alvari
Ankit Anand
Jialin Wu
Xi Chen
Radu Soricut
LRM
ReLM
20
53
0
19 Dec 2023
A Survey of Reasoning with Foundation Models
A Survey of Reasoning with Foundation Models
Jiankai Sun
Chuanyang Zheng
E. Xie
Zhengying Liu
Ruihang Chu
...
Xipeng Qiu
Yi-Chen Guo
Hui Xiong
Qun Liu
Zhenguo Li
ReLM
LRM
AI4CE
22
75
0
17 Dec 2023
CLOMO: Counterfactual Logical Modification with Large Language Models
CLOMO: Counterfactual Logical Modification with Large Language Models
Yinya Huang
Ruixin Hong
Hongming Zhang
Wei Shao
Zhicheng YANG
Dong Yu
Changshui Zhang
Xiaodan Liang
Linqi Song
LRM
29
7
0
29 Nov 2023
Graph Elicitation for Guiding Multi-Step Reasoning in Large Language
  Models
Graph Elicitation for Guiding Multi-Step Reasoning in Large Language Models
Jinyoung Park
Ameen Patel
Omar Zia Khan
Hyunwoo J. Kim
Jooyeon Kim
KELM
LRM
ReLM
23
4
0
16 Nov 2023
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
Sen Yang
Xin Li
Leyang Cui
Li Bing
Wai Lam
LRM
NAI
31
15
0
16 Nov 2023
Symbol-LLM: Towards Foundational Symbol-centric Interface For Large
  Language Models
Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models
Fangzhi Xu
Zhiyong Wu
Qiushi Sun
Siyu Ren
Fei Yuan
Shuai Yuan
Qika Lin
Yu Qiao
Jun Liu
LLMAG
14
32
0
15 Nov 2023
Can Large Language Models Follow Concept Annotation Guidelines? A Case
  Study on Scientific and Financial Domains
Can Large Language Models Follow Concept Annotation Guidelines? A Case Study on Scientific and Financial Domains
Marcio Fonseca
Shay B. Cohen
ALM
19
6
0
15 Nov 2023
A Closer Look at the Self-Verification Abilities of Large Language
  Models in Logical Reasoning
A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning
Ruixin Hong
Hongming Zhang
Xinyu Pang
Dong Yu
Changshui Zhang
LRM
44
23
0
14 Nov 2023
Language Models can be Logical Solvers
Language Models can be Logical Solvers
Jiazhan Feng
Ruochen Xu
Junheng Hao
Hiteshi Sharma
Yelong Shen
Dongyan Zhao
Weizhu Chen
ReLM
LRM
ELM
39
22
0
10 Nov 2023
Learning From Mistakes Makes LLM Better Reasoner
Learning From Mistakes Makes LLM Better Reasoner
Shengnan An
Zexiong Ma
Zeqi Lin
Nanning Zheng
Jian-Guang Lou
Weizhu Chen
LRM
19
75
0
31 Oct 2023
DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to
  Determinacy
DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy
Hongda Sun
Weikai Xu
Wei Liu
Jian Luan
Bin Wang
Shuo Shang
Ji-Rong Wen
Rui Yan
LRM
37
24
0
28 Oct 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
  Language Models with First-Order Logic Provers
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Theo X. Olausson
Alex Gu
Benjamin Lipkin
Cedegao E. Zhang
Armando Solar-Lezama
Josh Tenenbaum
Roger Levy
LRM
AI4CE
ReLM
36
94
0
23 Oct 2023
Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts
Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts
Tengxiao Liu
Qipeng Guo
Yuqing Yang
Xiangkun Hu
Yue Zhang
Xipeng Qiu
Zheng-Wei Zhang
LRM
LLMAG
26
29
0
23 Oct 2023
BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology
BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology
Odhran O'Donoghue
Aleksandar Shtedritski
John Ginger
Ralph Abboud
Ali E. Ghareeb
Justin Booth
Samuel G. Rodriques
22
16
0
16 Oct 2023
Learning To Teach Large Language Models Logical Reasoning
Learning To Teach Large Language Models Logical Reasoning
Meiqi Chen
Yubo Ma
Kaitao Song
Yixin Cao
Yan Zhang
Dongsheng Li
ELM
LRM
23
14
0
13 Oct 2023
Guiding Language Model Math Reasoning with Planning Tokens
Guiding Language Model Math Reasoning with Planning Tokens
Xinyi Wang
Lucas Page-Caccia
O. Ostapenko
Xingdi Yuan
William Yang Wang
Alessandro Sordoni
LRM
31
2
0
09 Oct 2023
Concise and Organized Perception Facilitates Reasoning in Large Language Models
Concise and Organized Perception Facilitates Reasoning in Large Language Models
Junjie Liu
Shaotian Yan
Chen Shen
Zhengdong Xiao
Wenxiao Wang
Jieping Ye
Jieping Ye
LRM
8
1
0
05 Oct 2023
Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language
  Models
Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models
Wenxuan Ding
Shangbin Feng
Yuhan Liu
Zhaoxuan Tan
Vidhisha Balachandran
Tianxing He
Yulia Tsvetkov
LRM
31
2
0
02 Oct 2023
Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical
  Reasoning Capabilities of Language Models
Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models
Man Luo
Shrinidhi Kumbhar
Ming shen
Mihir Parmar
Neeraj Varshney
Pratyay Banerjee
Somak Aditya
Chitta Baral
ReLM
ELM
LRM
37
25
0
02 Oct 2023
Navigate through Enigmatic Labyrinth A Survey of Chain of Thought
  Reasoning: Advances, Frontiers and Future
Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future
Zheng Chu
Jingchang Chen
Qianglong Chen
Weijiang Yu
Tao He
Haotian Wang
Weihua Peng
Ming-Yu Liu
Bing Qin
Ting Liu
LRM
AI4CE
21
149
0
27 Sep 2023
Natural Language Embedded Programs for Hybrid Language Symbolic
  Reasoning
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning
Tianhua Zhang
Jiaxin Ge
Hongyin Luo
Yung-Sung Chuang
Mingye Gao
Yuan Gong
Xixin Wu
Yoon Kim
Helen M. Meng
James R. Glass
LRM
ReLM
84
15
0
19 Sep 2023
Unveiling Theory of Mind in Large Language Models: A Parallel to Single
  Neurons in the Human Brain
Unveiling Theory of Mind in Large Language Models: A Parallel to Single Neurons in the Human Brain
Mohsen Jamali
Ziv M. Williams
Jing Cai
13
19
0
04 Sep 2023
Planning with Logical Graph-based Language Model for Instruction
  Generation
Planning with Logical Graph-based Language Model for Instruction Generation
Fan Zhang
Kebing Jin
H. Zhuo
LRM
32
3
0
26 Aug 2023
How susceptible are LLMs to Logical Fallacies?
How susceptible are LLMs to Logical Fallacies?
Amirreza Payandeh
Dan Pluth
Jordan Hosier
Xuesu Xiao
V. Gurbani
LLMAG
LRM
ELM
23
17
0
18 Aug 2023
Automatically Correcting Large Language Models: Surveying the landscape
  of diverse self-correction strategies
Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategies
Liangming Pan
Michael Stephen Saxon
Wenda Xu
Deepak Nathani
Xinyi Wang
William Yang Wang
KELM
LRM
36
201
0
06 Aug 2023
Shifting Attention to Relevance: Towards the Predictive Uncertainty
  Quantification of Free-Form Large Language Models
Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models
Jinhao Duan
Hao-Ran Cheng
Shiqi Wang
Alex Zavalny
Chenan Wang
Renjing Xu
B. Kailkhura
Kaidi Xu
25
31
0
03 Jul 2023
Previous
1234
Next