A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
We propose a fully spectral, neuro-symbolic reasoning architecture that leverages Graph Signal Processing (GSP) as the primary computational backbone for integrating symbolic logic and neural inference. Unlike conventional reasoning models that treat spectral graph methods as peripheral components, our approach formulates the entire reasoning pipeline in the graph spectral domain. Logical entities and relationships are encoded as graph signals, processed via learnable spectral filters that control multi-scale information propagation, and mapped into symbolic predicates for rule-based inference. We present a complete mathematical framework for spectral reasoning, including graph Fourier transforms, band-selective attention, and spectral rule grounding. Experiments on benchmark reasoning datasets (ProofWriter, EntailmentBank, bAbI, CLUTRR, and ARC-Challenge) demonstrate improvements in logical consistency, interpretability, and computational efficiency over state-of-the-art neuro-symbolic models. Our results suggest that GSP provides a mathematically grounded and computationally efficient substrate for robust and interpretable reasoning systems.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 20 of its 34 references that are in the map. First posted on arXiv 19 Aug 2025.
Builds on
20 of 34 references.
References · 20
- 2017Attention Is All You Needcited by 60,361
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,599
- 2016Semi-Supervised Classification with Graph Convolutional Networkscited by 11,361
- 2018Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challengecited by 4,886
- 2017Neural Message Passing for Quantum Chemistrycited by 3,487
- 2020Transformers are RNNs: Fast Autoregressive Transformers with Linear Attentioncited by 2,022
- 2019SciBERT: A Pretrained Language Model for Scientific Textcited by 1,414
- 2018Relational inductive biases, deep learning, and graph networkscited by 1,360
- 2013Spectral Networks and Locally Connected Networks on Graphscited by 1,102
- 2018Deeper Insights into Graph Convolutional Networks for Semi-Supervised Learningcited by 1,102
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 394
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 324
8 more
- 2015Towards AI-Complete Question Answering: A Set of Prerequisite Toy Taskscited by 314
- 2018Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understandingcited by 304
- 2015A Review of Relational Machine Learning for Knowledge Graphscited by 265
- 2017Neural-Symbolic Learning and Reasoning: A Survey and Interpretationcited by 196
- 2019CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Textcited by 162
- 2021Explaining Answers with Entailment Treescited by 152
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 151
- 2019On the Transferability of Spectral Graph Filterscited by 28
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
- 2025Spectral Neuro-Symbolic Reasoning II: Semantic Node Merging, Entailment Filtering, and Knowledge Graph Alignment
- 2025Beyond Neural Networks: Symbolic Reasoning over Wavelet Logic Graph Signals
- 2025Quantum Spectral Reasoning: A Non-Neural Architecture for Interpretable Machine Learning
- 2025Constructing a Neuro-Symbolic Mathematician from First Principles
- 2023Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
- 2025Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
- 2026Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification