v1v2 (latest)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey

21 March 2023

Xinya Du

ArXiv (abs)PDF HTML HuggingFace (2 upvotes)

Papers citing "Logical Reasoning over Natural Language as Knowledge Representation: A Survey"

33 / 33 papers shown

Title
ARCHE: A Novel Task to Evaluate LLMs on Latent Reasoning Chain Extraction P. Li Jiaqi Liu Junchi Yu Lihao Liu Mingyu Ding Wanli Ouyang Shixiang Tang Xi Chen ReLM LRM AI4CE 182 0 0 16 Nov 2025
Inverse Knowledge Search over Verifiable Reasoning: Synthesizing a Scientific Encyclopedia from a Long Chains-of-Thought Knowledge Base Yu Li Yuan Huang Tao Wang Caiyu Fan X-D Cai ... X. Li Weinan E Linfeng Zhang Zhiyuan Yao Kun Chen LRM 157 0 0 30 Oct 2025
Do You Get the Hint? Benchmarking LLMs on the Board Game Concept I. Gevers Walter Daelemans LRM 40 0 0 15 Oct 2025
GEAR: A General Evaluation Framework for Abductive Reasoning Kaiyu He Peilin Wu Mian Zhang Kun Wan Wentian Zhao Xinya Du Zhiyu Zoey Chen ELM LRM 77 0 0 28 Sep 2025
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules Nasim Shirvani-Mahdavi Chengkai Li 76 0 0 14 Aug 2025
Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs Nasim Shirvani-Mahdavi Devin Wingfield Amin Ghasemi Chengkai Li 89 0 0 31 Jul 2025
From Reasoning to Learning: A Survey on Hypothesis Discovery and Rule Learning with Large Language Models Kaiyu He Zhiyu Chen ReLM LRM ELM 309 3 0 28 May 2025
Do Large Language Models Excel in Complex Logical Reasoning with Formal Language? Jin Jiang Jianing Wang Yuchen Yan Yang Liu J. Zhu Mengdi Zhang Xunliang Cai Liangcai Gao ELM LRM 150 4 0 22 May 2025
From Hypothesis to Publication: A Comprehensive Survey of AI-Driven Research Support SystemsConference on Empirical Methods in Natural Language Processing (EMNLP), 2025 Zekun Zhou Xiaocheng Feng Daigang Xu Xiachong Feng Ziyun Song ... Baoxin Wang Dayong Wu Guoping Hu Ting Liu Bing Qin AI4TS 428 7 0 03 Mar 2025
ChronoSense: Exploring Temporal Understanding in Large Language Models with Time Intervals of EventsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Duygu Sezen Islakoglu Jan-Christoph Kalo 199 11 0 06 Jan 2025
Pyramid-Driven Alignment: Pyramid Principle Guided Integration of Large Language Models and Knowledge Graphs Lei Sun Xinchen Wang Youdi Li RALM 151 0 0 16 Oct 2024
Transformer-based Language Models for Reasoning in the Description Logic ALCQ Angelos Poulis Eleni Tsalapati Manolis Koubarakis ReLM LRM 147 1 0 12 Oct 2024
MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific HypothesesInternational Conference on Learning Representations (ICLR), 2024 Zonglin Yang Wanhao Liu Ben Gao Tong Xie You Li Wanli Ouyang Soujanya Poria Xiaoshi Zhong Dongzhan Zhou LRM 466 43 0 09 Oct 2024
IQA-EVAL: Automatic Evaluation of Human-Model Interactive Question AnsweringNeural Information Processing Systems (NeurIPS), 2024 Ruosen Li Barry Wang Ruochen Li Xinya Du ELM 202 14 0 24 Aug 2024
Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey Philipp Mondorf Barbara Plank ELM LRM LM&MA 312 85 0 02 Apr 2024
AILS-NTUA at SemEval-2024 Task 9: Cracking Brain Teasers: Transformer Models for Lateral Thinking Puzzles Ioannis Panagiotopoulos Giorgos Filandrianos Maria Lymperaiou Giorgos Stamou 179 1 0 01 Apr 2024
Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning Philipp Mondorf Barbara Plank LRM 291 14 0 20 Feb 2024
Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey Haochen Li Jonathan Leung Zhiqi Shen LM&MA LLMAG LRM 248 4 0 25 Jan 2024
Conditions for Length Generalization in Learning Reasoning Skills Changnan Xiao Bing Liu LRM 292 7 0 22 Nov 2023
Transformers in the Service of Description Logic-based ContextsInternational Conference Knowledge Engineering and Knowledge Management (EKAW), 2023 Angelos Poulis Eleni Tsalapati Manolis Koubarakis LRM ReLM 217 0 0 15 Nov 2023
A Closer Look at the Self-Verification Abilities of Large Language Models in Logical ReasoningNorth American Chapter of the Association for Computational Linguistics (NAACL), 2023 Ruixin Hong Hongming Zhang Xinyu Pang Dong Yu Changshui Zhang LRM 167 40 0 14 Nov 2023
Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning Ying Su Mingwen Liu Mingwen Liu LRM 137 3 0 12 Nov 2023
Reasoning about Ambiguous Definite DescriptionsConference on Empirical Methods in Natural Language Processing (EMNLP), 2023 Stefan F. Schouten Peter Bloem Ilia Markov Piek Vossen LRM UQLM 140 0 0 23 Oct 2023
Towards Better Chain-of-Thought Prompting Strategies: A Survey Zihan Yu Liang He Zhen Wu Xinyu Dai Jiajun Chen LRM 314 82 0 08 Oct 2023
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 376 43 0 02 Oct 2023
Knowledge Engineering using Large Language Models Bradley Paul Allen Lise Stork Paul T. Groth 224 28 0 01 Oct 2023
Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and FutureAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 Zheng Chu Jingchang Chen Qianglong Chen Weijiang Yu Tao He Haotian Wang Weihua Peng Ming-Yuan Liu Bing Qin Ting Liu LRM AI4CE 431 215 0 27 Sep 2023
Large Language Models for Automated Open-domain Scientific Hypotheses DiscoveryAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 Zonglin Yang Xinya Du Junxian Li Jie Zheng Soujanya Poria Xiaoshi Zhong LRM 196 80 0 06 Sep 2023
Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and BeyondIEEE Transactions on Knowledge and Data Engineering (TKDE), 2023 Fangzhi Xu Qika Lin Jiawei Han Tianzhe Zhao Jun Liu Xiaoshi Zhong ELM LRM 312 69 0 16 Jun 2023
RECKONING: Reasoning through Dynamic Knowledge EncodingNeural Information Processing Systems (NeurIPS), 2023 Zeming Chen Gail Weiss E. Mitchell Asli Celikyilmaz Antoine Bosselut KELM LRM 263 15 0 10 May 2023
Natural Language Reasoning, A SurveyACM Computing Surveys (ACM Comput. Surv.), 2023 Fei Yu Hongbo Zhang Prayag Tiwari Benyou Wang ReLM LRM 282 94 0 26 Mar 2023
Language Models as Inductive ReasonersConference of the European Chapter of the Association for Computational Linguistics (EACL), 2022 Zonglin Yang Li Dong Xinya Du Hao Cheng Xiaoshi Zhong Xiaodong Liu Jianfeng Gao Furu Wei ReLM LRM 240 51 0 21 Dec 2022
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution GeneralisationInternational Workshop on Neural-Symbolic Learning and Reasoning (NeSy), 2022 Qiming Bao A. Peng Tim Hartill N. Tan Zhenyun Deng Michael Witbrock Jiamou Liu ReLM OOD NAI LRM 425 17 0 28 Jul 2022