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

SATURN: Symbolic Spatial Reasoning for Multi-Perspective Grounding
Jun 21, 2026Danial Kamali, Tanawan Premsri, Shreya Rajpal +33D Spatial Reasoning Visually Grounded Reasoning
Michigan State University · Lambda Labs
VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows
Jun 21, 2026Teodoro Baldazzi, Luigi Bellomarini, Andrea Coletta +4AI-Assisted Decision Making LLM Agent Orchestration
TU Wien · Banca d’Italia · University of Warwick
A Neurosymbolic Framework for Interpretable Skeleton-Based Seizure Detection via Concept-Driven Logical Reasoning
Jun 19, 2026Talha Ilyas, Deval Mehta, Zongyuan GeConcept-Based Explanations Neural Network Interpretability
Department of ECSE, Faculty of Engineering, Monash University, Australia · AIM for Health Lab, Faculty of IT, Monash University, Australia · Department of DSAI, Faculty of IT, Monash University, Australia +1
Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification
Jun 18, 2026Baiyang Qu, Leonardo Ranaldi, Xi Wang +1Abductive Reasoning Neuro-Symbolic Reasoning
Department of Computer Science, University of Leicester, UK · School of Informatics, University of Edinburgh, UK · School of Computer Science, University of Sheffield, UK
DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs
Jun 18, 2026Saimun Habib, Vaishak Belle, Fengxiang HeProbabilistic Logic Structural Causal Models
University of Edinburgh
NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
Jun 17, 2026Daniel Romero Schellhorn, Till Mossakowski, Björn GehrkeNeuro-Symbolic Reasoning Neurosymbolic Learning
University of Osnabrück, Osnabrück, Germany
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Jun 16, 2026Marco Aruta, Vadim Malvone, Aniello Murano +2Formal Verification Multi-Agent Systems
University of Naples Federico II, Naples, Italy · LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France · Università degli Studi di Salerno, Salerno, Italy
A homotopy-type-theoretic generalization of neurosymbolic inference
Jun 16, 2026Fernando Zhapa-Camacho, Robert HoehndorfSymbolic Reasoning Neuro-Symbolic Reasoning
Computer, Electrical and Mathematical Sciences & Engineering Division, King Abdullah University of Science and Technology, 4700 KAUST, 23955, Thuwal, Saudi Arabia · KAUST Center of Excellence for Smart Health (KCSH) · KAUST Center of Excellence for Generative AI
Robust Dual-Signal Fusion: Hybrid Neuro-Symbolic Gating with Compressed Chain-of-Thought Refinement for Irony Detection in Social Media Texts
Jun 15, 2026Ankit Bhattacharjee, Krityapriya BhaumikCoT Reasoning Neuro-Symbolic Reasoning
Indian Institute of Technology Kharagpur, India
VeriGraph: Towards Verifiable Data-Analytic Agents
Jun 15, 2026Jiajie Jin, Zhao Yang, Wenle Liao +5Data Provenance Neuro-Symbolic Reasoning
Gaoling School of Artificial Intelligence, Renmin University of China
NeRD: Neuro-Symbolic Rule Distillation for Efficient Ontology-Grounded Chain-of-Thought in Medical Image Diagnosis
Jun 14, 2026Hongxi Yang, Yiwen Jiang, Siyuan Yan +8Medical Image Classification Multimodal CoT Reasoning
Department of Data Science & AI, Faculty of Information Technology, Monash University, Melbourne, Australia · AIM for Health Lab, Faculty of Information Technology, Monash University, Melbourne, Australia · Faculty of Engineering, Monash University, Melbourne, Australia +2
Driving, Fast or Slow? Neuro-Symbolic Guidance for Motion Prediction in Multi-Modal Ground Mobility
Jun 13, 2026Simon Kohaut, Felix Divo, Julius Hahnewald +4Multi-Agent Trajectory Prediction Autonomous Driving
Artificial Intelligence and Machine Learning Lab, TU Darmstadt · Honda Research Institute · Hessian Center for AI (hessian.AI) +3
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
Jun 12, 2026Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2Logic Programming Symbolic Reasoning
Department of Computer Science, Royal Holloway, University of London, UK
EM-NeSy: Expectation Maximization for Neurosymbolic Learning
Jun 12, 2026Annegret Seibt, Luc De Raedt, Giuseppe MarraSymbolic Reasoning Expectation-Maximization
Department of Computer Science KU Leuven
Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data
Jun 10, 2026Arie Soeteman, Balder ten Cate, Maurice Funk +3Graph Neural Networks Relational Reasoning
ILLC, University of Amsterdam, Amsterdam, Netherlands · Leipzig University, Leipzig, Germany · ScaDS.AI Center Dresden/Leipzig, Germany +2
Bridging Semantics and Physical Execution: A Neuro-Symbolic Framework for Multi-Pair Robotic Assembly
Jun 9, 2026Xinyi Li, Aiguo Song, Linhu Wei +1Large Language Model-Based Robot Planning Robotic Manipulation
School of Instrument Science and Engineering, Southeast University, Nanjing 210096, China.
Accelerating NeurASP with vectorization and caching
Jun 9, 2026Alexander Philipp Rader, Alessandra RussoAnswer Set Programming Neuro-Symbolic Reasoning
Imperial College London
Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
Jun 7, 2026Syed Rifat Raiyan, Mohsinul Kabir, Hasan Mahmud +2Mathematical Reasoning Benchmarks Automated Theorem Proving
Systems and Software Lab (SSL), Department of Computer Science and Engineering, Islamic University of Technology, Gazipur, Bangladesh · Department of Computer Science, University of Manchester, Manchester, United Kingdom
Extending Ontologies: From Dense Embeddings to Hybrid Quantum-Fuzzy Systems
Jun 7, 2026Angjelin HilaKG Embedding Knowledge Representation
BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction
Jun 3, 2026Qi Wang, Peijie Wang, Fei Yin +1Mathematical Reasoning Neuro-Symbolic Reasoning
1MAIS, Institute of Automation of Chinese Academy of Sciences · School of Artificial Intelligence, University of Chinese Academy of Sciences
Simulate, Reason, Decide: Scientific Reasoning with LLMs for Simulation-Driven Decision Making
Jun 3, 2026Yuhan Yang, Ruipu Li, Alexander RodríguezAI for Science Neuro-Symbolic Reasoning
Computer Science and Engineering University of Michigan
The Biomimetic Architecture of Software 4.0
Jun 1, 2026Philip Sheldrake, Dirk SchefflerNeuro-Symbolic Reasoning
Unnamed Labs Amsterdam
Distilling Neuro-Symbolic Programs into 3D Multi-modal LLMs
May 31, 2026Wentao Mo, Yang LiuCoT Distillation 3D Spatial Reasoning
Wangxuan Institute of Computer Technology, Peking University
AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
May 30, 2026Alessio BrunoLLM Answer Verification Symbolic Reasoning
Independent researcher
Neuro-symbolic Syntactic Parsing: Shaping a Neural Network with the CYK Algorithm
May 29, 2026Fabio Massimo Zanzotto, Federico Ranaldi, Giorgio SattaNeural Algorithmic Reasoning Recurrent Neural Networks
Human-centric ART, University of Rome Tor Vergata, Italy · DEI, University of Padua, Italy
BIRDNet: Mining and Encoding Boolean Implication Knowledge Graphs as Interpretable Deep Neural Networks
May 27, 2026Tirtharaj DashNeural Network Interpretability Neuro-Symbolic Reasoning
BITS Pilani, K K Birla Goa Campus Zuarinagar, Goa 403726, India
SYNAPSE: Neuro-Symbolic Visual Thought-to-Text Decoding via Topological Semantic Denoising
May 27, 2026Akshaj Murhekar, Abhijit MishraLanguage Model Decoding EEG Decoding
School of Information University of Texas at Austin
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
May 26, 2026Paul Sigloch, Christoph BenzmüllerLLM Answer Verification LLM Hallucination Detection
University of Bamberg, Bamberg, Germany · Free University of Berlin, Berlin, Germany
Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables
May 25, 2026Weizhi Fei, Hang Yin, Zihao Wang +3Learning to Rank Neuro-Symbolic Reasoning
Department of Mathematical Sciences, Tsinghua University Beijing, China · Squarepoint Capital Singapore, Singapore · Department of Computer Science and Engineering, Hong Kong University of Science and Technology Hong Kong, Hong Kong +1
Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis
May 25, 2026Xiaoyang Fan, Yufan Cai, Zhe Hou +1Clinical Decision Support Clinical Reasoning
National University of Singapore · Griffith University

Jun 21, 2026, cs.CVJ/K move · Enter open · S save

SATURN: Symbolic Spatial Reasoning for Multi-Perspective Grounding

Danial Kamali, Tanawan Premsri, Shreya Rajpal, Amir Zadeh+2

Michigan State University · Lambda Labs

3D Spatial Reasoning Visually Grounded Reasoning Neuro-Symbolic Reasoning Spatial Reasoning 3D Visual Grounding

Open paper AskPDF arXiv

Vision-Language Models (VLMs) remain unreliable when spatial reasoning requires composing relations whose meanings depend on frames of reference. Existing neuro-symbolic methods make reasoning more explicit, but often depend on brittle geometric procedures and hard decisions over noisy perception. We propose SATURN, a neuro-symbolic framework for perspective-aware compositional spatial reasoning. SATURN reconstructs an approximate 3D scene, derives soft perspective-aware spatial predicates, and composes them with a training-free Pythonic symbolic executor, separating perception from reasoning while preserving uncertainty through multi-hop inference. We also introduce 3D FORCE, a diagnostic benchmark that controls reasoning depth, view, and perspective composition across spatial arrangement grounding (SAG) and referring expression grounding (REF). On 3D FORCE, VLMs and spatially trained models degrade sharply as depth and perspective complexity increase, whereas SATURN remains stable and outperforms strong baselines. On the real-world MindCube benchmark, SATURN achieves 78.57% overall accuracy, outperforming the strongest baseline by 14 pp.

Momentum

Related topics

Latest papers 169