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
FLARE: Faithful Logic-Aided Reasoning and Exploration
FLARE: Faithful Logic-Aided Reasoning and Exploration
Erik Arakelyan
Pasquale Minervini
Pat Verga
Patrick Lewis
Isabelle Augenstein
ReLM
LRM
59
2
0
14 Oct 2024
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical
  Reasoning
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
Joshua Ong Jun Leang
Aryo Pradipta Gema
Shay B. Cohen
ReLM
LRM
ReCod
31
2
0
14 Oct 2024
COrAL: Order-Agnostic Language Modeling for Efficient Iterative
  Refinement
COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement
Yuxi Xie
Anirudh Goyal
Xiaobao Wu
Xunjian Yin
Xiao Xu
Min-Yen Kan
Liangming Pan
William Yang Wang
LRM
60
1
0
12 Oct 2024
Boosting Deductive Reasoning with Step Signals In RLHF
Boosting Deductive Reasoning with Step Signals In RLHF
J. Li
Yipin Zhang
Wei Shen
Yuzi Yan
Jian Xie
Dong Yan
LRM
ReLM
30
0
0
12 Oct 2024
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant
  Human-Written Reasoning Chains
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
Simeng Han
Aaron Yu
Rui Shen
Zhenting Qi
Martin Riddell
...
Yingbo Zhou
Caiming Xiong
Dragomir R. Radev
Rex Ying
Arman Cohan
LRM
33
2
0
11 Oct 2024
Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks
Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks
Rushang Karia
Daniel Bramblett
D. Dobhal
Siddharth Srivastava
ELM
LRM
30
0
0
11 Oct 2024
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Hyun Ryu
Gyeongman Kim
Hyemin S. Lee
Eunho Yang
LRM
35
3
0
10 Oct 2024
Consistent Autoformalization for Constructing Mathematical Libraries
Consistent Autoformalization for Constructing Mathematical Libraries
Lan Zhang
Xin Quan
André Freitas
AI4CE
30
2
0
05 Oct 2024
Understanding Reasoning in Chain-of-Thought from the Hopfieldian View
Understanding Reasoning in Chain-of-Thought from the Hopfieldian View
Lijie Hu
Liang Liu
Shu Yang
Xin Chen
Zhen Tan
Muhammad Asif Ali
Mengdi Li
Di Wang
LRM
41
1
0
04 Oct 2024
GraphIC: A Graph-Based In-Context Example Retrieval Model for Multi-Step Reasoning
GraphIC: A Graph-Based In-Context Example Retrieval Model for Multi-Step Reasoning
Jiale Fu
Yaqing Wang
Simeng Han
Jiaming Fan
Chen Si
23
1
0
03 Oct 2024
Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models
Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models
Xin Sky Li
Weize Chen
Qizhi Chu
Haopeng Li
Zhaojun Sun
...
Yiwei Wei
Zhiyuan Liu
Chuan Shi
Maosong Sun
Cheng Yang
32
5
0
29 Sep 2024
DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy
DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy
Vinh Luong
Sang Dinh
Shruti Raghavan
William Nguyen
Zooey Nguyen
...
Kentaro Maegaito
Loc Nguyen
Thao Nguyen
Anh Hai Ha
Christopher Nguyen
26
0
0
27 Sep 2024
Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
Tongxuan Liu
Wenjiang Xu
Weizhe Huang
Yuting Zeng
Jiaxing Wang
Hailong Yang
Hailong Yang
Jing Li
LRM
ReLM
41
5
0
26 Sep 2024
Strategies for Improving NL-to-FOL Translation with LLMs: Data
  Generation, Incremental Fine-Tuning, and Verification
Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
Ramya Keerthy Thatikonda
Jiuzhou Han
Wray L. Buntine
Ehsan Shareghi
LRM
34
2
0
24 Sep 2024
CSCE: Boosting LLM Reasoning by Simultaneous Enhancing of Causal Significance and Consistency
CSCE: Boosting LLM Reasoning by Simultaneous Enhancing of Causal Significance and Consistency
Kangsheng Wang
Xiao Zhang
Zizheng Guo
Tianyu Hu
Huimin Ma
LRM
40
7
0
20 Sep 2024
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
Jin Jiang
Yuchen Yan
Yang Liu
Yonggang Jin
Shuai Peng
M. Zhang
Xunliang Cai
Yixin Cao
Liangcai Gao
Zhi Tang
LRM
40
3
0
19 Sep 2024
Autoformalization of Game Descriptions using Large Language Models
Autoformalization of Game Descriptions using Large Language Models
Agnieszka Mensfelt
Kostas Stathis
Vince Trencsenyi
OffRL
AI4CE
LRM
31
3
0
18 Sep 2024
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Zayne Sprague
Fangcong Yin
Juan Diego Rodriguez
Dongwei Jiang
Manya Wadhwa
Prasann Singhal
Xinyu Zhao
Xi Ye
Kyle Mahowald
Greg Durrett
ReLM
LRM
114
79
0
18 Sep 2024
ProSLM : A Prolog Synergized Language Model for explainable Domain
  Specific Knowledge Based Question Answering
ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering
Priyesh Vakharia
Abigail Kufeldt
Max Meyers
Ian Lane
Leilani H. Gilpin
19
0
0
17 Sep 2024
Symbolic Working Memory Enhances Language Models for Complex Rule
  Application
Symbolic Working Memory Enhances Language Models for Complex Rule Application
Siyuan Wang
Zhongyu Wei
Yejin Choi
Xiang Ren
LRM
LLMAG
31
9
0
24 Aug 2024
Understanding Enthymemes in Argument Maps: Bridging Argument Mining and
  Logic-based Argumentation
Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation
Jonathan Ben-Naim
Victor David
Anthony Hunter
29
1
0
16 Aug 2024
Unveiling Factual Recall Behaviors of Large Language Models through
  Knowledge Neurons
Unveiling Factual Recall Behaviors of Large Language Models through Knowledge Neurons
Yifei Wang
Yuheng Chen
Wanting Wen
Yu Sheng
Linjing Li
D. Zeng
KELM
36
5
0
06 Aug 2024
Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities
  of LLMs
Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
Kewei Cheng
Jingfeng Yang
Haoming Jiang
Zhengyang Wang
Binxuan Huang
...
Zheng Li
Yifan Gao
Xian Li
Bing Yin
Yizhou Sun
ELM
LRM
25
11
0
31 Jul 2024
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural
  Language
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
Hossein Rajaby Faghihi
Aliakbar Nafar
Andrzej Uszok
Hamid Karimian
Parisa Kordjamshidi
35
0
0
30 Jul 2024
Effective Large Language Model Debugging with Best-first Tree Search
Effective Large Language Model Debugging with Best-first Tree Search
Jialin Song
Jonathan Raiman
Bryan Catanzaro
LRM
38
0
0
26 Jul 2024
Thought-Like-Pro: Enhancing Reasoning of Large Language Models through
  Self-Driven Prolog-based Chain-of-Thought
Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Thought
Xiaoyu Tan
Yongxin Deng
Xihe Qiu
Weidi Xu
Chao Qu
Wei Chu
Yinghui Xu
Yuan Qi
LRM
AI4CE
LM&Ro
29
2
0
18 Jul 2024
ChatLogic: Integrating Logic Programming with Large Language Models for
  Multi-Step Reasoning
ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
Zhongsheng Wang
Jiamou Liu
Qiming Bao
Hongfei Rong
Jingfeng Zhang
KELM
LRM
40
4
0
14 Jul 2024
Tools Fail: Detecting Silent Errors in Faulty Tools
Tools Fail: Detecting Silent Errors in Faulty Tools
Jimin Sun
So Yeon Min
Yingshan Chang
Yonatan Bisk
32
4
0
27 Jun 2024
Can Large Language Models Understand DL-Lite Ontologies? An Empirical
  Study
Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
Keyu Wang
Guilin Qi
Jiaqi Li
Songlin Zhai
13
1
0
25 Jun 2024
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability
  of Large Language Models
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models
Nisarg Patel
Mohith Kulkarni
Mihir Parmar
Aashna Budhiraja
Mutsumi Nakamura
Neeraj Varshney
Chitta Baral
ELM
LRM
33
6
0
24 Jun 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
Shashank Kirtania
Priyanshu Gupta
Arjun Radhakirshna
LRM
20
4
0
22 Jun 2024
Can LLMs Reason in the Wild with Programs?
Can LLMs Reason in the Wild with Programs?
Yuan Yang
Siheng Xiong
Ali Payani
Ehsan Shareghi
Faramarz Fekri
LRM
32
13
0
19 Jun 2024
A Hopfieldian View-based Interpretation for Chain-of-Thought Reasoning
A Hopfieldian View-based Interpretation for Chain-of-Thought Reasoning
Lijie Hu
Liang Liu
Shu Yang
Xin Chen
Hongru Xiao
Mengdi Li
Pan Zhou
Muhammad Asif Ali
Di Wang
LRM
33
5
0
18 Jun 2024
When Reasoning Meets Information Aggregation: A Case Study with Sports
  Narratives
When Reasoning Meets Information Aggregation: A Case Study with Sports Narratives
Yebowen Hu
Kaiqiang Song
Sangwoo Cho
Xiaoyang Wang
Wenlin Yao
H. Foroosh
Dong Yu
Fei Liu
35
6
0
17 Jun 2024
Interactive Evolution: A Neural-Symbolic Self-Training Framework For
  Large Language Models
Interactive Evolution: A Neural-Symbolic Self-Training Framework For Large Language Models
Fangzhi Xu
Qiushi Sun
Kanzhi Cheng
J. Liu
Yu Qiao
Zhiyong Wu
LLMAG
29
5
0
17 Jun 2024
PaCE: Parsimonious Concept Engineering for Large Language Models
PaCE: Parsimonious Concept Engineering for Large Language Models
Jinqi Luo
Tianjiao Ding
Kwan Ho Ryan Chan
D. Thaker
Aditya Chattopadhyay
Chris Callison-Burch
René Vidal
CVBM
35
7
0
06 Jun 2024
Disentangling Logic: The Role of Context in Large Language Model
  Reasoning Capabilities
Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities
Wenyue Hua
Kaijie Zhu
Lingyao Li
Lizhou Fan
Shuhang Lin
Mingyu Jin
Haochen Xue
Zelong Li
Jindong Wang
Yongfeng Zhang
LRM
59
8
0
04 Jun 2024
When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of
  Self-Correction of LLMs
When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs
Ryo Kamoi
Yusen Zhang
Nan Zhang
Jiawei Han
Rui Zhang
LRM
40
57
0
03 Jun 2024
EffiQA: Efficient Question-Answering with Strategic Multi-Model
  Collaboration on Knowledge Graphs
EffiQA: Efficient Question-Answering with Strategic Multi-Model Collaboration on Knowledge Graphs
Zixuan Dong
Baoyun Peng
Yufei Wang
Jia Fu
Xiaodong Wang
Yongxue Shan
Xin Zhou
42
1
0
03 Jun 2024
Latent Logic Tree Extraction for Event Sequence Explanation from LLMs
Latent Logic Tree Extraction for Event Sequence Explanation from LLMs
Zitao Song
Chao Yang
Chaojie Wang
Bo An
Shuang Li
40
4
0
03 Jun 2024
A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
Long Hei Matthew Lam
Ramya Keerthy Thatikonda
Ehsan Shareghi
ELM
LRM
40
1
0
01 Jun 2024
Faithful Logical Reasoning via Symbolic Chain-of-Thought
Faithful Logical Reasoning via Symbolic Chain-of-Thought
Jundong Xu
Hao Fei
Liangming Pan
Qian Liu
M. Lee
W. Hsu
OffRL
LRM
LLMAG
30
46
0
28 May 2024
Arithmetic Reasoning with LLM: Prolog Generation & Permutation
Arithmetic Reasoning with LLM: Prolog Generation & Permutation
Xiaocheng Yang
Bingsen Chen
Yik-Cheung Tam
LRM
29
10
0
28 May 2024
Towards Global Optimal Visual In-Context Learning Prompt Selection
Towards Global Optimal Visual In-Context Learning Prompt Selection
Chengming Xu
Chen Liu
Yikai Wang
Yanwei Fu
21
5
0
24 May 2024
MathDivide: Improved mathematical reasoning by large language models
MathDivide: Improved mathematical reasoning by large language models
S. Srivastava
Ashutosh Gandhi
LRM
ReLM
30
0
0
12 May 2024
Can Large Language Models put 2 and 2 together? Probing for Entailed
  Arithmetical Relationships
Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships
D. Panas
S. Seth
V. Belle
ReLM
LRM
26
2
0
30 Apr 2024
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic
  Executors in Large Language Models
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
Weizhi Tang
Vaishak Belle
LRM
LLMAG
26
1
0
23 Apr 2024
Fact :Teaching MLLMs with Faithful, Concise and Transferable Rationales
Fact :Teaching MLLMs with Faithful, Concise and Transferable Rationales
Minghe Gao
Shuang Chen
Liang Pang
Yuan Yao
Jisheng Dang
Wenqiao Zhang
Juncheng Li
Siliang Tang
Yueting Zhuang
Tat-Seng Chua
LRM
32
5
0
17 Apr 2024
Self-playing Adversarial Language Game Enhances LLM Reasoning
Self-playing Adversarial Language Game Enhances LLM Reasoning
Pengyu Cheng
Tianhao Hu
Han Xu
Zhisong Zhang
Yong Dai
Lei Han
Nan Du
Nan Du
Xiaolong Li
SyDa
LRM
ReLM
87
28
0
16 Apr 2024
A Survey on Deep Learning for Theorem Proving
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li
Jialiang Sun
Logan Murphy
Qidong Su
Zenan Li
Xian Zhang
Kaiyu Yang
Xujie Si
LRM
42
21
0
15 Apr 2024
Previous
1234
Next