mlsanityData to 7 Oct 2026

Standard Neural Computation Alone Is Insufficient for Logical Intelligence

arXiv 2502.02135 ↗First posted 4 Feb 2025cs.AI cs.LGcited by 1

Not on the map. Why?

Abstract (arXiv)

Neural networks, as currently designed, fall short of achieving true logical intelligence. Modern AI models rely on standard neural computation-inner-product-based transformations and nonlinear activations-to approximate patterns from data. While effective for inductive learning, this architecture lacks the structural guarantees necessary for deductive inference and logical consistency. As a result, deep networks struggle with rule-based reasoning, structured generalization, and interpretability without extensive post-hoc modifications. This position paper argues that standard neural layers must be fundamentally rethought to integrate logical reasoning. We advocate for Logical Neural Units (LNUs)-modular components that embed differentiable approximations of logical operations (e.g., AND, OR, NOT) directly within neural architectures. We critique existing neurosymbolic approaches, highlight the limitations of standard neural computation for logical inference, and present LNUs as a necessary paradigm shift in AI. Finally, we outline a roadmap for implementation, discussing theoretical foundations, architectural integration, and key challenges for future research.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 22 of its 70 references that are in the map. First posted on arXiv 4 Feb 2025.

Builds on

22 of 70 references.

References · 22

  1. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
  2. 2020Scaling Laws for Neural Language Modelscited by 6,411
  3. 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
  4. 2023Sparks of Artificial General Intelligence: Early experiments with GPT-4cited by 2,579
  5. 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 820
  6. 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
  7. 2021Explaining Neural Scaling Lawscited by 353
  8. 2022Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoningcited by 331
  9. 2020Neurosymbolic AI: The 3rd Wavecited by 253
  10. 2017Neural-Symbolic Learning and Reasoning: A Survey and Interpretationcited by 195
  11. 2019SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solvercited by 173
  12. 2017End-to-End Differentiable Provingcited by 159
10 more
  1. 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 149
  2. 2019Neural Logic Machinescited by 144
  3. 2020Logical Neural Networkscited by 118
  4. 2020Analyzing Differentiable Fuzzy Logic Operatorscited by 100
  5. 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
  6. 2020From Statistical Relational to Neuro-Symbolic Artificial Intelligencecited by 63
  7. 2021Neuro-Symbolic Inductive Logic Programming with Logical Neural Networkscited by 36
  8. 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
  9. 2023DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacycited by 34
  10. 2019Learning Algorithms via Neural Logic Networkscited by 17

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 1.

1 paper.

Similar, not cited

Close in wording, no citation either way

  1. 2025A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
  2. 2022Extending Logical Neural Networks using First-Order Theories
  3. 2025Categorical Construction of Logically Verifiable Neural Architectures
  4. 2024Neuro-symbolic Learning Yielding Logical Constraints
  5. 2024Symbol Correctness in Deep Neural Networks Containing Symbolic Layers
  6. 2025Reasoning in Neurosymbolic AI
  7. 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
  8. 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers