Logical Neural Networks
Not on the map. Why?
Cited by 24 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omnidirectional rather than focused on predefined target variables, and corresponds to logical reasoning, including classical first-order logic theorem proving as a special case. The model is end-to-end differentiable, and learning minimizes a novel loss function capturing logical contradiction, yielding resilience to inconsistent knowledge. It also enables the open-world assumption by maintaining bounds on truth values which can have probabilistic semantics, yielding resilience to incomplete knowledge.
Key facts. Cited by 118 papers in the map (data through 13 Oct 2026). First posted on arXiv 23 Jun 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 21; 2022: 17; 2023: 19; 2024: 23; 2025: 16; 2026: 22.
118 papers.
Sort:
By area:
- 2024Mechanistic Interpretability for AI Safety -- A Reviewcited by 420
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2023Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstractioncited by 45
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 38
- 2021Neuro-Symbolic Inductive Logic Programming with Logical Neural Networkscited by 36
- 2021Neuro-Symbolic Reinforcement Learning with First-Order Logiccited by 30
- 2021Differentiable Inductive Logic Programming for Structured Examplescited by 26
- 2024Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AIcited by 24
- 2022Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communicationscited by 21
- 2023Neurosymbolic AI for Reasoning over Knowledge Graphs: A Surveycited by 21
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
38 more
- 2021Logic Embeddings for Complex Query Answeringcited by 17
- 2023A Universal Question-Answering Platform for Knowledge Graphscited by 17
- 2025Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologiescited by 17
- 2021Neuro-Symbolic Forward Reasoningcited by 16
- 2023Joint Edge-Model Sparse Learning is Provably Efficient for Graph Neural Networkscited 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
- 2022Neuro-Symbolic Learning of Answer Set Programs from Raw Datacited by 12
- 2023Reliable Natural Language Understanding with Large Language Models and Answer Set Programmingcited by 12
- 2023Learning Differentiable Logic Programs for Abstract Visual Reasoningcited by 12
- 2021LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linkingcited by 11
- 2024The Role of Foundation Models in Neuro-Symbolic Learning and Reasoningcited by 11
- 2022Knowledge-augmented Deep Learning and Its Applications: A Surveycited by 10
- 2024Learning Interpretable Differentiable Logic Networkscited by 10
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trendscited by 10
- 2025DMWM: Dual-Mind World Model with Long-Term Imaginationcited by 10
- 2021pix2rule: End-to-end Neuro-symbolic Rule Learningcited by 9
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulationcited by 8
- 2021Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completioncited by 7
- 2022Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Descriptioncited by 7
- 2023PDSketch: Integrated Planning Domain Programming and Learningcited by 7
- 2023Neuro-symbolic Rule Learning in Real-world Classification Taskscited by 7
- 2023Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approachcited by 7
- 2024Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecturecited by 7
- 2021LOA: Logical Optimal Actions for Text-based Interaction Gamescited by 6
- 2023Extensions to Generalized Annotated Logic and an Equivalent Neural Architecturecited by 6
- 2024Strong hallucinations from negation and how to fix themcited by 6
- 2024AdapTable: Test-Time Adaptation for Tabular Data via Shift-Aware Uncertainty Calibrator and Label Distribution Handlercited by 6
- 2024Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMscited by 6
- 2025Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitationscited by 6
- 2021Neural Network for Weighted Signal Temporal Logiccited by 5
- 2024Logic Rules as Explanations for Legal Case Retrievalcited by 5
- 2025A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectivescited by 5
- 2021Eye of the Beholder: Improved Relation Generalization for Text-based Reinforcement Learning Agentscited by 4
- 2021Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networkscited by 4
- 2021Logical Credal Networkscited by 4
- 2023Diagrammatization and Abduction to Improve AI Interpretability With Domain-Aligned Explanations for Medical Diagnosiscited by 4
- 2023Utterance Classification with Logical Neural Network: Explainable AI for Mental Disorder Diagnosiscited by 4
50 most cited of 118 All 118 (JSON)
- 2026ActionGround: Training-Free Runtime Refinement of Frozen VLA Policies27 Sep 2026
- 2026Lukasiewicz Neural Networks Extended: Residual Architectures and Crystallization Strategies for Interpretable Rule Extraction26 Sep 2026
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026A hierarchy of faithfulness criteria for knowledge base completion20 Aug 2026
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026sLTN: Structural Logic Tensor Networks11 Aug 2026
- 2026Training, Reading, and Editing Legible Transformers9 Jul 2026
- 2026SMART: A Machine Learning and Monte Carlo Framework for Rapid Analysis of Stochastic Transistor Aging and Process Variation in Digital Circuits6 Jul 2026
- 2026Explicit Fuzzy Logic in the Feed-Forward Layer: Self-Forgetting Quantifiers Discover Legible Grammatical-Licensing Detectors30 Jun 2026
- 2026First-Order Temporal Logic Tensor Networks29 Jun 2026
- 2026AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling4 Jun 2026
- 2026Algebraic Machine Learning for Small-to-Medium Datasets Is Competitive against Strong Standard Baselines21 May 2026
38 more
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026Auto-Relational Reasoning29 Apr 2026
- 2026Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants17 Apr 2026
- 2026THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture13 Apr 2026
- 2026T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning System30 Mar 2026
- 2026Neuro-Symbolic Process Anomaly Detection27 Mar 2026
- 2026Modal Logical Neural Networks for Financial AI12 Mar 2026
- 2026Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication12 Feb 2026
- 2026Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction23 Jan 2026
- 2026Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition20 Jan 2026
- 2025Modal Logic Neural Networks3 Dec 2025
- 2025Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models13 Nov 2025
- 2025COCO-Tree: Compositional Hierarchical Concept Trees for Enhanced Reasoning in Vision Language Models13 Oct 2025
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Rethinking Explainable Disease Prediction: Synergizing Accuracy and Reliability via Reflective Cognitive Architecture25 Sep 2025
- 2025Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning3 Sep 2025
- 2025Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologies14 Aug 2025
- 2025Neural Logic Networks for Interpretable Classification11 Aug 2025
- 2025A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning5 Aug 2025
- 2025Learning Interpretable Differentiable Logic Networks for Tabular Regression29 May 2025
- 2025Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models28 Apr 2025
- 2025A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives23 Mar 2025
- 2025Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations16 Feb 2025
- 2025DMWM: Dual-Mind World Model with Long-Term Imagination11 Feb 2025
- 2025Standard Neural Computation Alone Is Insufficient for Logical Intelligence4 Feb 2025
- 2025Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies7 Jan 2025
- 2024Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs27 Nov 2024
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trends7 Nov 2024
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation1 Nov 2024
- 2024Flame quality monitoring of flare stack based on deep visual features18 Oct 2024
- 2024Neural Reasoning Networks: Efficient Interpretable Neural Networks With Automatic Textual Explanations10 Oct 2024
- 2024A mechanistically interpretable neural network for regulatory genomics8 Oct 2024
- 2024Explainable Diagnosis Prediction through Neuro-Symbolic Integration1 Oct 2024
- 2024Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules24 Sep 2024
- 2024Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture20 Sep 2024
- 2024Differentiable Logic Programming for Distant Supervision22 Aug 2024
- 2024On the use of neurosymbolic AI for defending against cyber attacks9 Aug 2024
- 2024AdapTable: Test-Time Adaptation for Tabular Data via Shift-Aware Uncertainty Calibrator and Label Distribution Handler15 Jul 2024
50 newest of 118 All 118 (JSON)
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 38
- 2022Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communicationscited by 21
- 2023Neurosymbolic AI for Reasoning over Knowledge Graphs: A Surveycited by 21
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
- 2025Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologiescited by 17
- 2023Learning Differentiable Logic Programs for Abstract Visual Reasoningcited by 12
- 2024The Role of Foundation Models in Neuro-Symbolic Learning and Reasoningcited by 11
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulationcited by 8
- 2024Strong hallucinations from negation and how to fix themcited by 6
- 2024Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMscited by 6
- 2025A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoningcited by 4
- 2025COCO-Tree: Compositional Hierarchical Concept Trees for Enhanced Reasoning in Vision Language Modelscited by 1
12 most cited of 24 All 24 (JSON)
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026Auto-Relational Reasoning29 Apr 2026
- 2026Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants17 Apr 2026
- 2026T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning System30 Mar 2026
- 2026Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction23 Jan 2026
- 2025Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models13 Nov 2025
- 2025COCO-Tree: Compositional Hierarchical Concept Trees for Enhanced Reasoning in Vision Language Models13 Oct 2025
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Rethinking Explainable Disease Prediction: Synergizing Accuracy and Reliability via Reflective Cognitive Architecture25 Sep 2025
- 2025Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning3 Sep 2025
- 2025Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologies14 Aug 2025
12 newest of 24 All 24 (JSON)
- 2025DMWM: Dual-Mind World Model with Long-Term Imaginationcited by 10
- 2025DMWM: Dual-Mind World Model with Long-Term Imagination11 Feb 2025
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2023Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstractioncited by 45
- 2021Neuro-Symbolic Inductive Logic Programming with Logical Neural Networkscited by 36
- 2021Neuro-Symbolic Reinforcement Learning with First-Order Logiccited by 30
- 2021Differentiable Inductive Logic Programming for Structured Examplescited by 26
- 2024Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AIcited by 24
- 2021Logic Embeddings for Complex Query Answeringcited by 17
- 2023A Universal Question-Answering Platform for Knowledge Graphscited by 17
- 2021Neuro-Symbolic Forward Reasoningcited by 16
- 2023Joint Edge-Model Sparse Learning is Provably Efficient for Graph Neural Networkscited by 16
- 2021FF-NSL: Feed-Forward Neural-Symbolic Learnercited by 15
12 most cited of 85 All 85 (JSON)
- 2026Lukasiewicz Neural Networks Extended: Residual Architectures and Crystallization Strategies for Interpretable Rule Extraction26 Sep 2026
- 2026A hierarchy of faithfulness criteria for knowledge base completion20 Aug 2026
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026sLTN: Structural Logic Tensor Networks11 Aug 2026
- 2026Training, Reading, and Editing Legible Transformers9 Jul 2026
- 2026SMART: A Machine Learning and Monte Carlo Framework for Rapid Analysis of Stochastic Transistor Aging and Process Variation in Digital Circuits6 Jul 2026
- 2026Explicit Fuzzy Logic in the Feed-Forward Layer: Self-Forgetting Quantifiers Discover Legible Grammatical-Licensing Detectors30 Jun 2026
- 2026First-Order Temporal Logic Tensor Networks29 Jun 2026
- 2026AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling4 Jun 2026
- 2026Algebraic Machine Learning for Small-to-Medium Datasets Is Competitive against Strong Standard Baselines21 May 2026
- 2026Neuro-Symbolic Process Anomaly Detection27 Mar 2026
- 2026Modal Logical Neural Networks for Financial AI12 Mar 2026
12 newest of 85 All 85 (JSON)