Neuro-Symbolic Reasoning

Follow this topic Ask about this topic

Momentum

11 papers in the last four weeks, up 57% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28

Latest papers 169

All topics

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
May 5, 2026Tran Quang LiemTemporal Reasoning Question Answering
Mathematics · VNUHCM - HIGH SCHOOL FOR THE GIFTED · Ho Chi Minh City, Vietnam
ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
May 5, 2026Iman Sharifi, Peng Wei, Saber FallahLogic Programming Differentiable Programming
Dept. of Mechanical and Aerospace Engineering, George Washington University, USA · Dept. of Mechanical Engineering Sciences, University of Surrey, UK
Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication
May 4, 2026Stanisław Sójka, Witold KowalczykExplainable Artificial Intelligence Legal Document Analysis
Delos AI Inc.
Neural Decision-Propagation for Answer Set Programming
May 3, 2026Thomas Eiter, Katsumi Inoue, Sota MoriyamaAnswer Set Programming Neuro-Symbolic Reasoning
1Vienna University of Technology (TU Wien), Austria · 2National Institute of Informatics, Japan · 3The Graduate University for Advanced Studies, SOKENDAI, Japan
Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
May 2, 2026Ahmed F. IbrahimMulti-Agent LLM Systems Requirements Engineering
Western University London, Canada
Are You the A-hole? A Fair, Multi-Perspective Ethical Reasoning Framework
Apr 30, 2026Sheza Munir, Ahanaf Rodoshi, Sumin Lee +3Annotator Disagreement Neuro-Symbolic Reasoning
Computer Science, University of Toronto
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
Apr 30, 2026Zainab Rehan, Christian Medeiros Adriano, Sona Ghahremani +1LLM-Based Program Synthesis Formal Verification
Hasso Plattner Institute University of Potsdam Potsdam, Germany
LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
Apr 30, 2026Adam Ishay, Joohyung LeeLLM Self-Correction Logical Reasoning
Arizona State University · Samsung Research
LLM-Flax : Generalizable Robotic Task Planning via Neuro-Symbolic Approaches with Large Language Models
Apr 29, 2026Seongmin Kim, Daegyu LeeLarge Language Model-Based Robot Planning Symbolic Planning
Department of Physical AI Engineering, Jeonbuk National University(JBNU) · Faculty of Department of Advanced Defense Technology and Industry, Jeonbuk National University(JBNU)
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
Apr 29, 2026Mahnoor Shahid, Hannes RotheTensor Networks Logical Reasoning
Universität Duisburg Essen, Germany
Auto-Relational Reasoning
Apr 29, 2026Ioannis Konstantoulas, Dimosthenis Tsimas, Pavlos Peppas +1Relational Reasoning Neuro-Symbolic Reasoning
Department of Electrical and Computer Engineering, University of Patras, Greece
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
Apr 27, 2026Daniel Romero Schellhorn, Till MossakowskiProbabilistic Logic Logical Reasoning
University of Osnabrück, Osnabrück, Germany.
Incentivizing Neuro-symbolic Language-based Reasoning in VLMs via Reinforcement Learning
Apr 23, 2026Karthic PalaniappanVLM Reasoning Neuro-Symbolic Reasoning
Georgia Institute of Technology
Neuro-Symbolic Manipulation Understanding with Enriched Semantic Event Chains
Apr 22, 2026Fatemeh ZiaeetabarNext-Action Prediction Video Action Recognition
Department of Computer Science, School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Iran
Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
Apr 21, 2026Feihao Fang, My T. Thai, Yuanyuan LeiSymbolic Reasoning Neuro-Symbolic Reasoning
University of Illinois Urbana-Champaign, Champaign, IL · Computer & Information Science and Engineering, University of Florida, Gainesville, FL
Overcoming the Impedance Mismatch: A Theoretical Roadmap for Fusing Foundation Models and Knowledge Graphs
Apr 21, 2026Sahil Rajesh DhayalkarVector Symbolic Architectures Neuro-Symbolic Reasoning
Arizona State University
LePREC: Reasoning as Classification over Structured Factors for Assessing Relevance of Legal Issues
Apr 21, 2026Fanyu Wang, Xiaoxi Kang, Paul Burgess +6Neuro-Symbolic Reasoning Legal Reasoning
Faculty of Information Technology, Monash University, Australia · School of Information Technology, Monash University Malaysia · Faculty of Law, Monash University, Australia +1
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
Apr 21, 2026Xiaoyang Liu, Zineng Dong, Yifan Bai +3LLM Self-Correction Neuro-Symbolic Reasoning
School of Mathematical Sciences, Shanghai Jiao Tong University · Zhiyuan College, Shanghai Jiao Tong University · Institute of Natural Sciences, MOE-LSC, CMA-Shanghai, Shanghai Jiao Tong University
From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS
Apr 20, 2026Mina Gabriel, Pei WangLogical Reasoning Reasoning Evaluation
Temple University, Philadelphia, PA 19122, USA
FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction
Apr 20, 2026Adewale Akinfaderin, Nafi DialloLogical Reasoning Symbolic Reasoning
Amazon Web Services Seattle, WA
Understanding Human Actions through the Lens of Executable Models
Apr 20, 2026Rimvydas Rubavicius, Manisha Dubey, N. Siddharth +1Temporal Action Segmentation Human Activity Recognition
School of Informatics The University of Edinburgh
The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
Apr 20, 2026Anthony BordgNeural Network Interpretability Neuro-Symbolic Reasoning
Huawei Lagrange Center, Paris, France
PDDL-Mind: Large Language Models are Capable on Belief Reasoning with Reliable State Tracking
Apr 20, 2026Wang Bill Zhu, Qiutong Tony Yi, Robin Jia +1Theory of Mind Neuro-Symbolic Reasoning
University of Southern California
Neuro-Symbolic Resolution of Recommendation Conflicts in Multimorbidity Clinical Guidelines
Apr 19, 2026Shiyao Xie, Jian DuClinical Decision Support Neuro-Symbolic Reasoning
Peking University, National Institute of Health Data Science Beijing, CN · Peking University Health Science Center, Institute of Medical Technology Beijing, CN
Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair
Apr 19, 2026Zizhang Luo, Yansong Xu, Runlin Guo +6Automated Program Repair Tree of Thoughts
Peking University
Neurosymbolic Repo-level Code Localization
Apr 17, 2026Xiufeng Xu, Xiufeng Wu, Zejun Zhang +1Software Engineering Benchmarks LLM-Based Program Synthesis
Nanyang Technological University, Singapore
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
Apr 17, 2026Sankalp Gilda, Shlok GildaLogical Reasoning Abductive Reasoning
DeepThought Solutions · Department of Computer Science · University of Florida
Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
Mar 25, 2026Weixin Chen, Antonio Vergari, Han ZhaoVLM Robustness Visual Reasoning
University of Illinois Urbana-Champaign · University of Edinburgh
NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
Mar 17, 2026Ming Yang, Zhi Zhou, Shi-Yu Tian +3Remote Sensing Image Understanding Remote Sensing
National Key Laboratory for Novel Software Technology, Nanjing University, China · School of Artificial Intelligence, Nanjing University, China · School of Intelligence Science and Technology, Nanjing University, China
Novelty Adaptation Through Hybrid Large Language Model (LLM)-Symbolic Planning and LLM-guided Reinforcement Learning
Mar 11, 2026Hong Lu, Pierrick Lorang, Timothy R. Duggan +2Symbolic Planning LLM-Guided RL
Department of Computer Science, Tufts University, Medford, MA, USA · Austrian Institute of Technology GmbH, Vienna, Austria

May 5, 2026, cs.AIJ/K move · Enter open · S save

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA

Tran Quang Liem

Mathematics · VNUHCM - HIGH SCHOOL FOR THE GIFTED · Ho Chi Minh City, Vietnam

Temporal Reasoning Question Answering Neuro-Symbolic Reasoning Temporal QA

Open paper AskPDF arXiv

Despite significant advances, large language models (LLMs) continue to exhibit brittle performance on complex temporal reasoning tasks. This failure mode is widely attributed to inherent deficits in autoregressive logical deduction. In this paper, we challenge this prevailing narrative, demonstrating that temporal reasoning is not the fundamental bottleneck; rather, the locus of failure lies in unstructured text-to-event representation. We introduce a novel neuro-symbolic question-answering framework governed by a Probabilistic Inconsistency Signal (PIS) that explicitly isolates perceptual errors from reasoning failures. By lifting unstructured text into explicit event graphs and interval constraints, our architecture strictly decouples semantic extraction from a symbolic reasoning engine. To robustly detect structural breaks, the PIS elegantly unifies symbolic credal intervals with epistemic neural uncertainty extracted via Evidential Deep Learning on LLM hidden states. Empirical evaluations reveal a striking paradigm shift: when provided with correct structural representations, our system's explicit proof traces achieve perfect 1.0 accuracy (4000/4000) and strictly zero false positives/negatives on temporal arithmetic benchmarks. On broader, noise-injected QA settings, the framework maintains a competitive 75.1% accuracy while enabling deterministic, step-level failure localization. Ultimately, by isolating the representation bottleneck from the reasoning substrate, this work reframes temporal QA from an algorithmic reasoning challenge to a structural alignment problem, charting a verifiable path forward for reliable neuro-symbolic AI.

Momentum

Related topics

Latest papers 169