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
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 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 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 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 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 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 Hyun Ryu Gyeongman Kim Hyemin S. Lee Eunho Yang LRM 35 3 0 10 Oct 2024
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 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 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 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 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 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 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 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 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 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 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 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 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 Jonathan Ben-Naim Victor David Anthony Hunter 29 1 0 16 Aug 2024
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 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 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 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 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 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 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 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 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 Shashank Kirtania Priyanshu Gupta Arjun Radhakirshna LRM 20 4 0 22 Jun 2024
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 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 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 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 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 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 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 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 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 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 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 Xiaocheng Yang Bingsen Chen Yik-Cheung Tam LRM 29 10 0 28 May 2024
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 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 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 Weizhi Tang Vaishak Belle LRM LLMAG 26 1 0 23 Apr 2024
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 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 Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 42 21 0 15 Apr 2024