Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
Not on the map. Why?
Cited by 37 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour, among the most prominent tools in the modelling of behaviour are computational-logic systems, connectionist models of cognition, and models of uncertainty. Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation. In addition, efforts in computer science research have led to the development of cognitive computational systems integrating machine learning and automated reasoning. Such systems have shown promise in a range of applications, including computational biology, fault diagnosis, training and assessment in simulators, and software verification. This joint survey reviews the personal ideas and views of several researchers on neural-symbolic learning and reasoning. The article is organised in three parts: Firstly, we frame the scope and goals of neural-symbolic computation and have a look at the theoretical foundations. We then proceed to describe the realisations of neural-symbolic computation, systems, and applications. Finally we present the challenges facing the area and avenues for further research.
Key facts. Cited by 196 papers in the map (data through 14 Oct 2026). First posted on arXiv 10 Nov 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 26; 2022: 24; 2023: 37; 2024: 36; 2025: 44; 2026: 29.
196 papers.
Sort:
By area:
- 2022Generative Flow Networks for Discrete Probabilistic Modelingcited by 114
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2025Efficient Inference for Large Reasoning Models: A Surveycited by 61
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2021Automated Fact-Checking: A Surveycited by 55
- 2021Neuro-Symbolic Artificial Intelligence: Current Trendscited by 54
- 2021Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Textcited by 46
- 2022Reasoning Like Program Executorscited by 45
- 2022Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extractioncited by 44
- 2021From LSAT: The Progress and Challenges of Complex Reasoningcited by 43
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 38
38 more
- 2022Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matricescited by 37
- 2024BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcutscited by 37
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2025Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lenscited by 34
- 2022A Review of Emerging Research Directions in Abstract Visual Reasoningcited by 33
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2021EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use casecited by 30
- 2024Logically Consistent Language Models via Neuro-Symbolic Integrationcited by 30
- 2023Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentationcited by 29
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domainscited by 25
- 2023Neurosymbolic Reinforcement Learning and Planning: A Surveycited by 24
- 2024Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AIcited by 24
- 2021ProTo: Program-Guided Transformer for Program-Guided Taskscited by 21
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 21
- 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcutscited by 19
- 2021Differentiable Logic Machinescited by 18
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
- 2024SymbolicAI: A framework for logic-based approaches combining generative models and solverscited by 16
- 2024Softened Symbol Grounding for Neuro-symbolic Systemscited by 16
- 2024Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomycited by 16
- 2021FF-NSL: Feed-Forward Neural-Symbolic Learnercited by 15
- 2021Towards Socially Intelligent Agents with Mental State Transition and Human Utilitycited by 14
- 2023Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trickcited by 14
- 2022Neuro-Symbolic Learning of Answer Set Programs from Raw Datacited by 12
- 2023Injecting Logical Constraints into Neural Networks via Straight-Through Estimatorscited by 12
- 2024The Role of Foundation Models in Neuro-Symbolic Learning and Reasoningcited by 12
- 2022Beyond Object Recognition: A New Benchmark towards Object Concept Learningcited by 11
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfactioncited by 11
- 2021Faster-LTN: a neuro-symbolic, end-to-end object detection architecturecited by 10
- 2022Knowledge-augmented Deep Learning and Its Applications: A Surveycited by 10
- 2023Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeatcited by 10
- 2023Exploiting Code Symmetries for Learning Program Semanticscited by 10
- 2024A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligencecited by 10
- 2024Weakly Supervised Anomaly Detection via Knowledge-Data Alignmentcited by 10
- 2026Incantation: Natural Language as the Action Interface for Multi-Entity Video World Modelscited by 10
- 2021pix2rule: End-to-end Neuro-symbolic Rule Learningcited by 9
- 2022Tractable Boolean and Arithmetic Circuitscited by 9
50 most cited of 196 All 196 (JSON)
- 2026Who to Trust in Multi-Robot Systems: Joint Robot and Object Hypothesis Trust Inference via Neural-Symbolic Cross-Validation10 Oct 2026
- 2026NeuSOGA3D: A Neuro-Symbolic Framework for Explainable 3D Geometric Reconstruction17 Sep 2026
- 2026Constraint-Aware Discrete Black-Box Optimization Using Tensor Decomposition8 Sep 2026
- 2026Neuro-Symbolic Geometric Abstraction (NeuSOGA): From Observations to Symbolic Mathematical Representations1 Sep 2026
- 2026Dissecting Neuro-Symbolic Quality Assurance for Synthetic Oncology Data Generation22 Aug 2026
- 2026Beyond Memory Majority: Latent-Source Reasoning for Multi-Agent Memory Arbitration20 Aug 2026
- 2026PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails16 Aug 2026
- 2026Generated Context versus Governed State: Functional Conditions for Accountable Longitudinal Clinical Reasoning14 Aug 2026
- 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning4 Aug 2026
- 2026Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystems2 Aug 2026
- 2026From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How24 Jul 2026
- 2026Agentic SABRE: An Uncertainty-Aware Neuro-Symbolic Multi-Agent Framework for Adaptive Ransomware Detection5 Jul 2026
38 more
- 2026Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)26 May 2026
- 2026Incantation: Natural Language as the Action Interface for Multi-Entity Video World Models18 May 2026
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models18 May 2026
- 2026NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agents17 May 2026
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification11 May 2026
- 2026A Reflective Storytelling Agent for Older Adults: Integrating Argumentation Schemes and Argument Mining in LLM-Based Personalised Narratives11 May 2026
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles30 Apr 2026
- 2026Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning25 Apr 2026
- 2026Hard to See, Hard to Label: Generative and Symbolic Acquisition for Subtle Visual Phenomena24 Apr 2026
- 2026Neural-Symbolic Knowledge Tracing: Injecting Educational Knowledge into Deep Learning for Responsible Learner Modelling9 Apr 2026
- 2026From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement7 Apr 2026
- 2026A Cortically Inspired Architecture for Modular Perceptual AI7 Mar 2026
- 2026Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era3 Mar 2026
- 2026Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification27 Feb 2026
- 2026Knowledge, Rules and Their Embeddings: Two Paths towards Neuro-Symbolic JEPA25 Feb 2026
- 2026Kalman-Inspired Runtime Stability and Recovery in Hybrid Reasoning Systems24 Jan 2026
- 2025Problems With Large Language Models for Learner Modelling: Why LLMs Alone Fall Short for Responsible Tutoring in K--12 Education28 Dec 2025
- 2025Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method24 Dec 2025
- 2025Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework3 Dec 2025
- 2025Quantum Circuit Reasoning Models: A Variational Framework for Differentiable Logical Inference26 Nov 2025
- 2025Symbolic Neural Generation with Applications to Lead Discovery in Drug Design27 Oct 2025
- 2025LLM-AR: LLM-powered Automated Reasoning Framework24 Oct 2025
- 2025CLMN: Concept based Language Models via Neural Symbolic Reasoning11 Oct 2025
- 2025Towards Neurocognitive-Inspired Intelligence: From AI's Structural Mimicry to Human-Like Functional Cognition9 Oct 2025
- 2025Deterministic Legal Agents: A Canonical Primitive API for Auditable Reasoning over Temporal Knowledge Graphs7 Oct 2025
- 2025"Stop replacing salt with sugar!'': Towards Intuitive Human-Agent Teaching29 Sep 2025
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Philosophy-informed Machine Learning18 Sep 2025
- 2025Symbolic Feedforward Networks for Probabilistic Finite Automata: Exact Simulation and Learnability12 Sep 2025
- 2025Interpretability as Alignment: Making Internal Understanding a Design Principle10 Sep 2025
- 2025Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities8 Sep 2025
- 2025From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning7 Sep 2025
- 2025Neuro-Symbolic Predictive Process Monitoring31 Aug 2025
- 2025Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT22 Aug 2025
- 2025A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone19 Aug 2025
- 2025A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data29 Jul 2025
- 2025Augmented Vision-Language Models: A Systematic Review24 Jul 2025
50 newest of 196 All 196 (JSON)
- 2025Efficient Inference for Large Reasoning Models: A Surveycited by 61
- 2022Reasoning Like Program Executorscited by 45
- 2022Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extractioncited by 44
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 38
- 2022Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matricescited by 37
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2025Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lenscited by 34
- 2022A Review of Emerging Research Directions in Abstract Visual Reasoningcited by 33
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 21
- 2024The Role of Foundation Models in Neuro-Symbolic Learning and Reasoningcited by 12
- 2024Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMscited by 6
12 most cited of 37 All 37 (JSON)
- 2026PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails16 Aug 2026
- 2026Generated Context versus Governed State: Functional Conditions for Accountable Longitudinal Clinical Reasoning14 Aug 2026
- 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning4 Aug 2026
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models18 May 2026
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification27 Feb 2026
- 2025Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method24 Dec 2025
- 2025Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework3 Dec 2025
- 2025Quantum Circuit Reasoning Models: A Variational Framework for Differentiable Logical Inference26 Nov 2025
- 2025LLM-AR: LLM-powered Automated Reasoning Framework24 Oct 2025
- 2025CLMN: Concept based Language Models via Neural Symbolic Reasoning11 Oct 2025
- 2025Deterministic Legal Agents: A Canonical Primitive API for Auditable Reasoning over Temporal Knowledge Graphs7 Oct 2025
12 newest of 37 All 37 (JSON)
- 2026NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agentscited by 1
- 2026A Reflective Storytelling Agent for Older Adults: Integrating Argumentation Schemes and Argument Mining in LLM-Based Personalised Narrativescited by 0
- 2026Agentic SABRE: An Uncertainty-Aware Neuro-Symbolic Multi-Agent Framework for Adaptive Ransomware Detectioncited by 0
- 2026Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystemscited by 0
- 2026Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystems2 Aug 2026
- 2026Agentic SABRE: An Uncertainty-Aware Neuro-Symbolic Multi-Agent Framework for Adaptive Ransomware Detection5 Jul 2026
- 2026NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agents17 May 2026
- 2026A Reflective Storytelling Agent for Older Adults: Integrating Argumentation Schemes and Argument Mining in LLM-Based Personalised Narratives11 May 2026
- 2025Augmented Vision-Language Models: A Systematic Reviewcited by 1
- 2025Augmented Vision-Language Models: A Systematic Review24 Jul 2025
- 2022Generative Flow Networks for Discrete Probabilistic Modelingcited by 114
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2021Automated Fact-Checking: A Surveycited by 55
- 2021Neuro-Symbolic Artificial Intelligence: Current Trendscited by 54
- 2021Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Textcited by 46
- 2021From LSAT: The Progress and Challenges of Complex Reasoningcited by 43
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
- 2024BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcutscited by 37
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2021EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use casecited by 30
- 2024Logically Consistent Language Models via Neuro-Symbolic Integrationcited by 30
12 most cited of 150 All 150 (JSON)
- 2026Who to Trust in Multi-Robot Systems: Joint Robot and Object Hypothesis Trust Inference via Neural-Symbolic Cross-Validation10 Oct 2026
- 2026NeuSOGA3D: A Neuro-Symbolic Framework for Explainable 3D Geometric Reconstruction17 Sep 2026
- 2026Constraint-Aware Discrete Black-Box Optimization Using Tensor Decomposition8 Sep 2026
- 2026Neuro-Symbolic Geometric Abstraction (NeuSOGA): From Observations to Symbolic Mathematical Representations1 Sep 2026
- 2026Dissecting Neuro-Symbolic Quality Assurance for Synthetic Oncology Data Generation22 Aug 2026
- 2026Beyond Memory Majority: Latent-Source Reasoning for Multi-Agent Memory Arbitration20 Aug 2026
- 2026From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How24 Jul 2026
- 2026Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)26 May 2026
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification11 May 2026
- 2026Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles30 Apr 2026
- 2026Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning25 Apr 2026
- 2026Hard to See, Hard to Label: Generative and Symbolic Acquisition for Subtle Visual Phenomena24 Apr 2026
12 newest of 150 All 150 (JSON)