Neural Logic Machines
Not on the map. Why?
Cited by 25 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
We propose the Neural Logic Machine (NLM), a neural-symbolic architecture for both inductive learning and logic reasoning. NLMs exploit the power of both neural networks---as function approximators, and logic programming---as a symbolic processor for objects with properties, relations, logic connectives, and quantifiers. After being trained on small-scale tasks (such as sorting short arrays), NLMs can recover lifted rules, and generalize to large-scale tasks (such as sorting longer arrays). In our experiments, NLMs achieve perfect generalization in a number of tasks, from relational reasoning tasks on the family tree and general graphs, to decision making tasks including sorting arrays, finding shortest paths, and playing the blocks world. Most of these tasks are hard to accomplish for neural networks or inductive logic programming alone.
Key facts. Cited by 144 papers in the map (data through 7 Oct 2026). First posted on arXiv 26 Apr 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 30; 2022: 24; 2023: 31; 2024: 21; 2025: 24; 2026: 14.
144 papers.
Sort:
By area:
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2022Least-to-Most Prompting Enables Complex Reasoning in Large Language Modelscited by 1,397
- 2022Measuring and Narrowing the Compositionality Gap in Language Modelscited by 1,054
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2021A Survey on Interpretable Reinforcement Learningcited by 70
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2021Inductive logic programming at 30cited by 46
- 2024R2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoningcited by 41
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 37
- 2021Neuro-Symbolic Inductive Logic Programming with Logical Neural Networkscited by 36
- 2024Learning Iterative Reasoning through Energy Diffusioncited by 36
38 more
- 2021From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligencecited by 35
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
- 2022A Review of Emerging Research Directions in Abstract Visual Reasoningcited by 33
- 2023Skills-in-Context Prompting: Unlocking Compositionality in Large Language Modelscited by 33
- 2023What's Left? Concept Grounding with Logic-Enhanced Foundation Modelscited by 33
- 2023Learning Domain-Independent Heuristics for Grounded and Lifted Planningcited 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
- 2021Neuro-Symbolic Reinforcement Learning with First-Order Logiccited by 30
- 2022HAKE: A Knowledge Engine Foundation for Human Activity Understandingcited by 28
- 2021Learning Algebraic Representation for Systematic Generalization in Abstract Reasoningcited by 27
- 2024Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AIcited by 24
- 2021Neuro-Symbolic Hierarchical Rule Inductioncited by 23
- 2021Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterizationcited by 22
- 2021Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generatorscited by 21
- 2024LLMs for Relational Reasoning: How Far are We?cited by 21
- 2023Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programscited by 20
- 2021Differentiable Logic Machinescited by 18
- 2022GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesiscited by 16
- 2023Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoningcited by 16
- 2024Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomycited by 16
- 2021Modeling Hierarchical Structures with Continuous Recursive Neural Networkscited by 15
- 2023Scalable Neural-Probabilistic Answer Set Programmingcited by 14
- 2024Neuro-symbolic Learning Yielding Logical Constraintscited by 12
- 2025Parameter-Efficient Continual Fine-Tuning: A Surveycited by 11
- 2024Learning with Logical Constraints but without Shortcut Satisfactioncited by 10
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trendscited by 10
- 2021Learning Symbolic Rules for Interpretable Deep Reinforcement Learningcited by 9
- 2021pix2rule: End-to-end Neuro-symbolic Rule Learningcited by 9
- 2021Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logiccited by 9
- 2021Learning Symbolic Rules for Reasoning in Quasi-Natural Languagecited by 9
- 2021Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programmingcited by 8
- 2021Neural Unification for Logic Reasoning over Natural Languagecited by 8
- 2022AdaLoGN: Adaptive Logic Graph Network for Reasoning-Based Machine Reading Comprehensioncited by 8
- 2023Logical Entity Representation in Knowledge-Graphs for Differentiable Rule Learningcited by 8
- 2023What Planning Problems Can A Relational Neural Network Solve?cited by 8
- 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
- 2021A Critical Review of Inductive Logic Programming Techniques for Explainable AIcited by 7
50 most cited of 144 All 144 (JSON)
- 2026A Fully Differentiable Neuro-Soft-Symbolic Framework for Perceptual Task Planning18 Sep 2026
- 2026Let It Go or Learn to Self-Correct: Continuous Diffusion for Constrained Discrete Tasks8 Sep 2026
- 2026A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks30 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
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming5 May 2026
- 2026THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture13 Apr 2026
- 2026Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability20 Mar 2026
- 2026MDER-DR: Multi-Hop Question Answering with Entity-Centric Summaries11 Mar 2026
- 2026Object-Oriented Transition Modeling with Inductive Logic Programming7 Feb 2026
- 2026REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence28 Jan 2026
38 more
- 2026Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition20 Jan 2026
- 2026NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness19 Jan 2026
- 2025Human-Inspired Learning for Large Language Models via Obvious Record and Maximum-Entropy Method Discovery14 Dec 2025
- 2025A Neuro-Symbolic Framework for Accountability in Public-Sector AI13 Dec 2025
- 2025PID-controlled Langevin Dynamics for Faster Sampling of Generative Models16 Nov 2025
- 2025Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models13 Nov 2025
- 2025When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning27 Oct 2025
- 2025Generalizable Reasoning through Compositional Energy Minimization23 Oct 2025
- 2025COCO-Tree: Compositional Hierarchical Concept Trees for Enhanced Reasoning in Vision Language Models13 Oct 2025
- 2025Norm-Q: Effective Compression Method for Hidden Markov Models in Neuro-Symbolic Applications29 Sep 2025
- 2025Can Constructions "SCAN" Compositionality ?24 Sep 2025
- 2025Weisfeiler-Leman Features for Planning: A 1,000,000 Sample Size Hyperparameter Study25 Aug 2025
- 2025Defining neurosymbolic AI15 Jul 2025
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning14 Jul 2025
- 2025Are Large Language Models Capable of Deep Relational Reasoning? Insights from DeepSeek-R1 and Benchmark Comparisons29 Jun 2025
- 2025Learning Interpretable Differentiable Logic Networks for Tabular Regression29 May 2025
- 2025BACON: A fully explainable AI model with graded logic for decision making problems20 May 2025
- 2025Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models28 Apr 2025
- 2025Parameter-Efficient Continual Fine-Tuning: A Survey18 Apr 2025
- 2025A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives23 Mar 2025
- 2025Rule-Guided Reinforcement Learning Policy Evaluation and Improvement12 Mar 2025
- 2025DiSciPLE: Learning Interpretable Programs for Scientific Visual Discovery14 Feb 2025
- 2025Neuro-Symbolic Contrastive Learning for Cross-domain Inference13 Feb 2025
- 2025Standard Neural Computation Alone Is Insufficient for Logical Intelligence4 Feb 2025
- 2025HorNets: Learning from Discrete and Continuous Signals with Routing Neural Networks24 Jan 2025
- 2025Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies7 Jan 2025
- 2024Graph Learning for Planning: The Story Thus Far and Open Challenges3 Dec 2024
- 2024Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation27 Nov 2024
- 2024Bridging the Gap: Representation Spaces in Neuro-Symbolic AI7 Nov 2024
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trends7 Nov 2024
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation1 Nov 2024
- 2024WLPlan: Relational Features for Symbolic Planning1 Nov 2024
- 2024Neuro-symbolic Learning Yielding Logical Constraints28 Oct 2024
- 2024Learning Linear Attention in Polynomial Time14 Oct 2024
- 2024Deep Learning for Generalised Planning with Background Knowledge10 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
50 newest of 144 All 144 (JSON)
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2022Least-to-Most Prompting Enables Complex Reasoning in Large Language Modelscited by 1,397
- 2022Measuring and Narrowing the Compositionality Gap in Language Modelscited by 1,054
- 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
- 2024R2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoningcited by 41
- 2022Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Reviewcited by 37
- 2022A Review of Emerging Research Directions in Abstract Visual Reasoningcited by 33
- 2023What's Left? Concept Grounding with Logic-Enhanced Foundation Modelscited by 33
- 2024LLMs for Relational Reasoning: How Far are We?cited by 21
- 2023Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoningcited by 16
- 2024Neuro-symbolic Learning Yielding Logical Constraintscited by 12
- 2022AdaLoGN: Adaptive Logic Graph Network for Reasoning-Based Machine Reading Comprehensioncited by 8
12 most cited of 25 All 25 (JSON)
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2026Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA5 May 2026
- 2026REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence28 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
- 2025Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning14 Jul 2025
- 2025Are Large Language Models Capable of Deep Relational Reasoning? Insights from DeepSeek-R1 and Benchmark Comparisons29 Jun 2025
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation1 Nov 2024
- 2024Neuro-symbolic Learning Yielding Logical Constraints28 Oct 2024
- 2024R2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning8 Jul 2024
- 2024LLMs for Relational Reasoning: How Far are We?17 Jan 2024
- 2023Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)18 Dec 2023
12 newest of 25 All 25 (JSON)
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2021A Survey on Interpretable Reinforcement Learningcited by 70
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2021Inductive logic programming at 30cited by 46
- 2021Neuro-Symbolic Inductive Logic Programming with Logical Neural Networkscited by 36
- 2024Learning Iterative Reasoning through Energy Diffusioncited by 36
- 2021From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligencecited by 35
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
- 2023Skills-in-Context Prompting: Unlocking Compositionality in Large Language Modelscited by 33
- 2023Learning Domain-Independent Heuristics for Grounded and Lifted Planningcited 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
- 2021Neuro-Symbolic Reinforcement Learning with First-Order Logiccited by 30
12 most cited of 115 All 115 (JSON)
- 2026A Fully Differentiable Neuro-Soft-Symbolic Framework for Perceptual Task Planning18 Sep 2026
- 2026A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks30 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
- 2026ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming5 May 2026
- 2026THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture13 Apr 2026
- 2026Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability20 Mar 2026
- 2026Object-Oriented Transition Modeling with Inductive Logic Programming7 Feb 2026
- 2026Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition20 Jan 2026
- 2026NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness19 Jan 2026
- 2025Human-Inspired Learning for Large Language Models via Obvious Record and Maximum-Entropy Method Discovery14 Dec 2025
- 2025A Neuro-Symbolic Framework for Accountability in Public-Sector AI13 Dec 2025
- 2025PID-controlled Langevin Dynamics for Faster Sampling of Generative Models16 Nov 2025
12 newest of 115 All 115 (JSON)