Neural Probabilistic Logic Programming in DeepProbLog
Not on the map. Why?
Cited by 79 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
We introduce DeepProbLog, a neural probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques of the underlying probabilistic logic programming language ProbLog can be adapted for the new language. We theoretically and experimentally demonstrate that DeepProbLog supports (i) both symbolic and subsymbolic representations and inference, (ii) program induction, (iii) probabilistic (logic) programming, and (iv) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.
Key facts. Cited by 389 papers in the map (data through 7 Oct 2026). First posted on arXiv 18 Jul 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 46; 2022: 38; 2023: 67; 2024: 67; 2025: 88; 2026: 83.
389 papers.
Sort:
By area:
- 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Proverscited by 161
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learningcited by 103
- 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2021DeepStochLog: Neural Stochastic Logic Programmingcited by 58
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2021Neuro-Symbolic Artificial Intelligence: Current Trendscited by 54
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2021MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networkscited by 44
- 2022Deep Learning with Logical Constraintscited by 44
38 more
- 2024R2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoningcited by 41
- 2021Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use casescited by 39
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
- 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
- 2024BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcutscited by 36
- 2024Learning Iterative Reasoning through Energy Diffusioncited by 36
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2022SIMPLE: A Gradient Estimator for k-Subset Samplingcited by 34
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
- 2023Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsalcited 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
- 2024How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Datacited by 29
- 2024HardNet: Hard-Constrained Neural Networks with Universal Approximation Guaranteescited by 29
- 2021Learning Algebraic Representation for Systematic Generalization in Abstract Reasoningcited by 27
- 2022Neuro-Symbolic Entropy Regularizationcited by 27
- 2021Differentiable Inductive Logic Programming for Structured Examplescited by 26
- 2021Techniques for Symbol Grounding with SATNetcited by 24
- 2021Neuro-Symbolic Hierarchical Rule Inductioncited by 23
- 2024Scaling Tractable Probabilistic Circuits: A Systems Perspectivecited by 23
- 2022RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoningcited by 22
- 2023Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learningcited by 22
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2023Learning to Solve Constraint Satisfaction Problems with Recurrent Transformercited by 21
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraintscited by 21
- 2024TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphscited by 21
- 2025Continuous Thought Machinescited by 21
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
- 2021ProTo: Program-Guided Transformer for Program-Guided Taskscited by 19
- 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcutscited by 19
- 2021Differentiable Logic Machinescited by 18
- 2023Improved Logical Reasoning of Language Models via Differentiable Symbolic Programmingcited by 18
- 2024On the Independence Assumption in Neurosymbolic Learningcited by 18
- 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraintscited by 18
- 2023LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoningcited by 17
- 2024End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanationscited by 17
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
50 most cited of 389 All 389 (JSON)
- 2026Candidate Retention for Abductive Learning30 Sep 2026
- 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
- 2026Agents as Software: A Programming Languages Agenda for Agent Reliability26 Sep 2026
- 2026XLOG: A CUDA-Native Engine for Neurosymbolic Integration23 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026PRISM-BN: A Controlled Corpus and Benchmark for Text-to-Parameterized Bayesian Network Extraction18 Sep 2026
- 2026A Fully Differentiable Neuro-Soft-Symbolic Framework for Perceptual Task Planning18 Sep 2026
- 2026Neuro-Symbolic Hierarchical Intention Anticipation in Human Behavior15 Sep 2026
- 2026Managing Action Preconditions in Neuro-Symbolic RL: Three Placement Strategies for Embodied Agents13 Sep 2026
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026Soft Symbol Grounding for Prototypical Concepts10 Sep 2026
38 more
- 2026Guide, Not Bind: Why Defeasible Priors Fail in Augmented Lagrangian Causal Discovery3 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
- 2026Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs15 Aug 2026
- 2026sLTN: Structural Logic Tensor Networks11 Aug 2026
- 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning4 Aug 2026
- 2026Pretrain on Small Synthetic Data, Scale Large for Free: Symmetry-Aware Foundation Model for Logic Rule Induction1 Aug 2026
- 2026Distilling Answer Set Programming Theories from Large Language Models30 Jul 2026
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data22 Jul 2026
- 2026Parallel Noising in Neural Markov Logic Networks21 Jul 2026
- 2026Grounding Investor Views: Neural Predicates in the Black-Litterman Model10 Jul 2026
- 2026Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models9 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
- 2026Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning3 Jul 2026
- 2026First-Order Temporal Logic Tensor Networks29 Jun 2026
- 2026Theory-Scale Auto-Formalization of Logics for Computer Science25 Jun 2026
- 2026A Dual-Track Framework for Template-Constrained LaTeX Conversion22 Jun 2026
- 2026DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs18 Jun 2026
- 2026Efficient and Sound Probabilistic Verification for AI Agents18 Jun 2026
- 2026A homotopy-type-theoretic generalization of neurosymbolic inference16 Jun 2026
- 2026Driving, Fast or Slow? Neuro-Symbolic Guidance for Motion Prediction in Multi-Modal Ground Mobility13 Jun 2026
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2026Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data10 Jun 2026
- 2026Logic-Guided Data Extraction with Answer Set Programming and Large Language Models8 Jun 2026
- 2026A formal definition and meta-model for a machine theory of mind2 Jun 2026
- 2026From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change29 May 2026
- 2026DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers28 May 2026
- 2026Open Problem: Separating Geometric and Algorithmic Compression via Cayley-Table Completion28 May 2026
- 2026When Rule Violations Are Rare: Chimera Training for Logical Anomaly Detection25 May 2026
- 2026Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis25 May 2026
- 2026The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning21 May 2026
- 2026NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic20 May 2026
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models18 May 2026
- 2026Quantitative Linear Logic for Neuro-Symbolic Learning and Verification13 May 2026
- 2026Weakly Supervised Segmentation as Semantic-Based Regularization13 May 2026
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification11 May 2026
- 2026DeepLog: A Software Framework for Modular Neurosymbolic AI11 May 2026
50 newest of 389 All 389 (JSON)
- 2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Proverscited by 161
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 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
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2022RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoningcited by 22
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
- 2023Improved Logical Reasoning of Language Models via Differentiable Symbolic Programmingcited by 18
- 2024Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoningcited by 17
- 2022NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoningcited by 16
12 most cited of 78 All 78 (JSON)
- 2026Candidate Retention for Abductive Learning30 Sep 2026
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning4 Aug 2026
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data22 Jul 2026
- 2026Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models9 Jul 2026
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2026Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis25 May 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
- 2026Can VLMs Reason Robustly? A Neuro-Symbolic Investigation25 Mar 2026
- 2026AS2 -- Attention-Based Soft Answer Sets: An End-to-End Differentiable Neuro-Soft-Symbolic Reasoning Architecture19 Mar 2026
12 newest of 78 All 78 (JSON)
- 2023Conceptual Framework for Autonomous Cognitive Entitiescited by 6
- 2025Nature's Insight: A Novel Framework and Comprehensive Analysis of Agentic Reasoning Through the Lens of Neurosciencecited by 3
- 2025PAT-Agent: Autoformalization for Model Checkingcited by 3
- 2026PhysicsAgentABM: Physics-Guided Generative Agent-Based Modelingcited by 3
- 2024DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracycited by 2
- 2026An Agentic Framework for Neuro-Symbolic Programmingcited by 1
- 2026Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communicationcited by 1
- 2025Towards Reliable Multi-Agent Systems for Marketing Applications via Reflection, Memory, and Planningcited by 0
- 2026Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication12 Feb 2026
- 2026PhysicsAgentABM: Physics-Guided Generative Agent-Based Modeling5 Feb 2026
- 2026An Agentic Framework for Neuro-Symbolic Programming2 Jan 2026
- 2025PAT-Agent: Autoformalization for Model Checking28 Sep 2025
- 2025Towards Reliable Multi-Agent Systems for Marketing Applications via Reflection, Memory, and Planning14 Aug 2025
- 2025Nature's Insight: A Novel Framework and Comprehensive Analysis of Agentic Reasoning Through the Lens of Neuroscience7 May 2025
- 2024DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy27 Sep 2024
- 2023Conceptual Framework for Autonomous Cognitive Entities3 Oct 2023
- 2026Parallel Noising in Neural Markov Logic Networkscited by 0
- 2026Parallel Noising in Neural Markov Logic Networks21 Jul 2026
- 2024Evaluating Deep Unlearning in Large Language Modelscited by 12
- 2024Evaluating Deep Unlearning in Large Language Models19 Oct 2024
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learningcited by 103
- 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
- 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2021DeepStochLog: Neural Stochastic Logic Programmingcited by 58
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2021Neuro-Symbolic Artificial Intelligence: Current Trendscited by 54
- 2021MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networkscited by 44
- 2022Deep Learning with Logical Constraintscited by 44
- 2021Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use casescited by 39
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
12 most cited of 291 All 291 (JSON)
- 2026Lukasiewicz Neural Networks Extended: Residual Architectures and Crystallization Strategies for Interpretable Rule Extraction26 Sep 2026
- 2026Agents as Software: A Programming Languages Agenda for Agent Reliability26 Sep 2026
- 2026XLOG: A CUDA-Native Engine for Neurosymbolic Integration23 Sep 2026
- 2026Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization21 Sep 2026
- 2026PRISM-BN: A Controlled Corpus and Benchmark for Text-to-Parameterized Bayesian Network Extraction18 Sep 2026
- 2026A Fully Differentiable Neuro-Soft-Symbolic Framework for Perceptual Task Planning18 Sep 2026
- 2026Neuro-Symbolic Hierarchical Intention Anticipation in Human Behavior15 Sep 2026
- 2026Managing Action Preconditions in Neuro-Symbolic RL: Three Placement Strategies for Embodied Agents13 Sep 2026
- 2026Soft Symbol Grounding for Prototypical Concepts10 Sep 2026
- 2026Guide, Not Bind: Why Defeasible Priors Fail in Augmented Lagrangian Causal Discovery3 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
12 newest of 291 All 291 (JSON)