大模型推理能力

Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models

Yukang Yang, Declan Campbell, Kaixuan Huang, Mengdi Wang, Jonathan Cohen, Taylor Webb

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments This is an extended version of a paper that has been accepted to ICML 2025

Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination

Simin Chen, Pranav Pusarla, Baishakhi Ray

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments This paper is accepted to ICML 2025. Website: https://codekaleidoscope.github.io/dycodeeval.html

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents

Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

机构 * Royal Holloway, University of London（伦敦大学皇家霍洛威学院） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments Source code: https://github.com/dicelab-rhul/LELMA

Observe-R1: Unlocking Reasoning Abilities of MLLMs with Dynamic Progressive Reinforcement Learning

Zirun Guo, Minjie Hong, Tao Jin

机构 * Zhejiang University（浙江大学） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization

Md Mahadi Hasan Nahid, Davood Rafiei

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments EMNLP 2024 (Findings)

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning

Yichao Liang, Nishanth Kumar, Hao Tang, Adrian Weller, Joshua B. Tenenbaum, Tom Silver, João F. Henriques, Kevin Ellis

专题命中 逻辑推理 ：planning(title,abstract)；分类 cs.AI、cs.LG

Comments ICLR 2025 (Spotlight)

Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning

Tian Xie, Zitian Gao, Qingnan Ren, Haoming Luo, Yuqian Hong, Bryan Dai, Joey Zhou, Kai Qiu, Zhirong Wu, Chong Luo

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning

Yuxuan Wu, Hideki Nakayama

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques

Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Comments 36 pages, 10 figures

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Journal ref Theory and Practice of Logic Programming 24 (2024) 606-627

In-situ graph reasoning and knowledge expansion using Graph-PReFLexOR

Markus J. Buehler

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

TARGA: Targeted Synthetic Data Generation for Practical Reasoning over Structured Data

Xiang Huang, Jiayu Shen, Shanshan Huang, Sitao Cheng, Xiaxia Wang, Yuzhong Qu

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study

Xuefei Ning, Zifu Wang, Shiyao Li, Zinan Lin, Peiran Yao, Tianyu Fu, Matthew B. Blaschko, Guohao Dai, Huazhong Yang, Yu Wang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments NeurIPS 2024

Narrative-of-Thought: Improving Temporal Reasoning of Large Language Models via Recounted Narratives

Xinliang Frederick Zhang, Nick Beauchamp, Lu Wang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments EMNLP'24 Findings

RESOLVE: Relational Reasoning with Symbolic and Object-Level Features Using Vector Symbolic Processing

Mohamed Mejri, Chandramouli Amarnath, Abhijit Chatterjee

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

A Survey of Knowledge Graph Reasoning on Graph Types: Static, Dynamic, and Multimodal

Ke Liang, Lingyuan Meng, Meng Liu, Yue Liu, Wenxuan Tu, Siwei Wang, Sihang Zhou, Xinwang Liu, Fuchun Sun

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments This work has been submitted to the IEEE for possible publication

TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning

Kate Sanders, Nathaniel Weir, Benjamin Van Durme

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments 9 pages, EMNLP 2024

Project SHADOW: Symbolic Higher-order Associative Deductive reasoning On Wikidata using LM probing

Hanna Abi Akl

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments 7 pages, 1 figure, accepted for the International Conference on Natural Language Computing (NATL) 2024

Interpretable Multimodal Misinformation Detection with Logic Reasoning

Hui Liu, Wenya Wang, Haoliang Li

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments Accepted by Findings of ACL 23. 9 pages, 6 figures

Debate on Graph: a Flexible and Reliable Reasoning Framework for Large Language Models

Jie Ma, Zhitao Gao, Qi Chai, Wangchun Sun, Pinghui Wang, Hongbin Pei, Jing Tao, Lingyun Song, Jun Liu, Chen Zhang, Lizhen Cui

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments 12 pages

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models

Weizhi Tang, Vaishak Belle

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments Accepted at NeSy 2024

Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning

Philipp Mondorf, Barbara Plank

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments ACL 2024 main, 31 pages, 19 figures

Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement

Linlu Qiu, Liwei Jiang, Ximing Lu, Melanie Sclar, Valentina Pyatkin, Chandra Bhagavatula, Bailin Wang, Yoon Kim, Yejin Choi, Nouha Dziri, Xiang Ren

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments ICLR 2024

Temporal Knowledge Question Answering via Abstract Reasoning Induction

Ziyang Chen, Dongfang Li, Xiang Zhao, Baotian Hu, Min Zhang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments Accepted by ACL 2024. 17 pages, 10 figures

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation

Zhouhao Sun, Xiao Ding, Li Du, Bibo Cai, Jinglong Gao, Ting Liu, Qin Bing

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments LREC-Coling 2024

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning

Kinjal Basu, Keerthiram Murugesan, Subhajit Chaudhury, Murray Campbell, Kartik Talamadupula, Tim Klinger

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning

Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Comments Pre-print

Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures

Michael Hersche, Francesco di Stefano, Thomas Hofmann, Abu Sebastian, Abbas Rahimi

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Comments Accepted in NeurIPS 2023 Workshop on MATH-AI

Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communications

Christo Kurisummoottil Thomas, Walid Saad

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.LG