DeepStochLog: Neural Stochastic Logic Programming
Not on the map. Why?
Abstract (arXiv)
Recent advances in neural symbolic learning, such as DeepProbLog, extend probabilistic logic programs with neural predicates. Like graphical models, these probabilistic logic programs define a probability distribution over possible worlds, for which inference is computationally hard. We propose DeepStochLog, an alternative neural symbolic framework based on stochastic definite clause grammars, a type of stochastic logic program, which defines a probability distribution over possible derivations. More specifically, we introduce neural grammar rules into stochastic definite clause grammars to create a framework that can be trained end-to-end. We show that inference and learning in neural stochastic logic programming scale much better than for neural probabilistic logic programs. Furthermore, the experimental evaluation shows that DeepStochLog achieves state-of-the-art results on challenging neural symbolic learning tasks.
Key facts. Cited by 58 papers in the map (data through 7 Oct 2026). Builds on 14 of its 55 references that are in the map. First posted on arXiv 23 Jun 2021.
Builds on
14 of 55 references.
References · 14
- 2014Adam: A Method for Stochastic Optimizationcited by 36,960
- 2016Semi-Supervised Classification with Graph Convolutional Networkscited by 11,282
- 2014DeepWalk: Online Learning of Social Representationscited by 1,543
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
- 2016Solving General Arithmetic Word Problemscited by 353
- 2017End-to-End Differentiable Provingcited by 159
- 2016Recurrent Neural Network Grammarscited by 109
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2020From Statistical Relational to Neuro-Symbolic Artificial Intelligencecited by 63
- 2020Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoningcited by 58
- 2020Neural-Symbolic Integration: A Compositional Perspectivecited by 45
- 2016Programming with a Differentiable Forth Interpretercited by 33
2 more
- 2019Synthesizing Datalog Programs Using Numerical Relaxationcited by 23
- 2020Analyzing Differentiable Fuzzy Implicationscited by 15
Built on by
Citing papers per year: 2021: 3; 2022: 6; 2023: 13; 2024: 16; 2025: 11; 2026: 9.
58 papers.
Sort:
By area:
- 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
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2023Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsalcited by 33
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domainscited by 24
- 2023Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learningcited by 22
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
- 2024On the Independence Assumption in Neurosymbolic Learningcited by 18
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
38 more
- 2024Softened Symbol Grounding for Neuro-symbolic Systemscited by 16
- 2024KLay: Accelerating Arithmetic Circuits for Neurosymbolic AIcited by 16
- 2023Relational Concept Bottleneck Modelscited by 15
- 2023Scalable Neural-Probabilistic Answer Set Programmingcited by 14
- 2023LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervisioncited by 13
- 2023GLUECons: A Generic Benchmark for Learning Under Constraintscited by 9
- 2024ULLER: A Unified Language for Learning and Reasoningcited by 9
- 2024NeSyA: Neurosymbolic Automatacited by 9
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulationcited by 8
- 2025Defining neurosymbolic AIcited by 7
- 2024EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logiccited by 6
- 2024Compositional Generalization Across Distributional Shifts with Sparse Tree Operationscited by 5
- 2023logLTN: Differentiable Fuzzy Logic in the Logarithm Spacecited by 4
- 2024Variable Assignment Invariant Neural Networks for Learning Logic Programscited by 4
- 2024Differentiable Logic Programming for Distant Supervisioncited by 4
- 2021DeepPSL: End-to-end perception and reasoningcited by 3
- 2023Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detectioncited by 3
- 2024On the use of neurosymbolic AI for defending against cyber attackscited by 3
- 2025Valid Text-to-SQL Generation with Unification-based DeepStochLogcited by 3
- 2025Grounding Methods for Neural-Symbolic AIcited by 3
- 2024A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AIcited by 2
- 2025T-ILR: a Neurosymbolic Integration for LTLfcited by 2
- 2026To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuitscited by 2
- 2023From Probabilistic Programming to Complexity-based Programmingcited by 1
- 2024Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learningcited by 1
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systemscited by 1
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025Verification Learning: Make Unsupervised Neuro-Symbolic System Feasiblecited by 1
- 2025CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learningcited by 1
- 2025Curriculum Abductive Learningcited by 1
- 2025Understanding and Improving Adversarial Robustness of Neural Probabilistic Circuitscited by 1
- 2021A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networkscited by 0
- 2022An Algebraic Approach to Learning and Groundingcited by 0
- 2022A Probabilistic-Logic based Commonsense Representation Framework for Modelling Inferences with Multiple Antecedents and Varying Likelihoodscited by 0
- 2023A Scalable Technique for Weak-Supervised Learning with Domain Constraintscited by 0
- 2024Neural logic programs and neural netscited by 0
- 2025Neuro-symbolic Weak Supervision: Theory and Semanticscited by 0
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integrationcited by 0
50 most cited of 58 All 58 (JSON)
- 2026Candidate Retention for Abductive Learning30 Sep 2026
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026Parallel Noising in Neural Markov Logic Networks21 Jul 2026
- 2026NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning17 Jun 2026
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2026DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications3 Feb 2026
- 2026To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits21 Jan 2026
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Understanding and Improving Adversarial Robustness of Neural Probabilistic Circuits24 Sep 2025
- 2025T-ILR: a Neurosymbolic Integration for LTLf21 Aug 2025
38 more
- 2025Defining neurosymbolic AI15 Jul 2025
- 2025Grounding Methods for Neural-Symbolic AI10 Jul 2025
- 2025Curriculum Abductive Learning18 May 2025
- 2025CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning31 Mar 2025
- 2025Neuro-symbolic Weak Supervision: Theory and Semantics24 Mar 2025
- 2025Valid Text-to-SQL Generation with Unification-based DeepStochLog17 Mar 2025
- 2025Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible17 Mar 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2024Compositional Generalization Across Distributional Shifts with Sparse Tree Operations18 Dec 2024
- 2024NeSyA: Neurosymbolic Automata10 Dec 2024
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation1 Nov 2024
- 2024KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI15 Oct 2024
- 2024Differentiable Logic Programming for Distant Supervision22 Aug 2024
- 2024Variable Assignment Invariant Neural Networks for Learning Logic Programs20 Aug 2024
- 2024EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic15 Aug 2024
- 2024On the use of neurosymbolic AI for defending against cyber attacks9 Aug 2024
- 2024Interpretable Concept-Based Memory Reasoning22 Jul 2024
- 2024Neural logic programs and neural nets13 Jun 2024
- 2024A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI3 Jun 2024
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systems15 May 2024
- 2024ULLER: A Unified Language for Learning and Reasoning1 May 2024
- 2024On the Independence Assumption in Neurosymbolic Learning12 Apr 2024
- 2024Softened Symbol Grounding for Neuro-symbolic Systems1 Mar 2024
- 2024Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning17 Jan 2024
- 2023Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learning14 Sep 2023
- 2023Relational Concept Bottleneck Models23 Aug 2023
- 2023From Probabilistic Programming to Complexity-based Programming28 Jul 2023
- 2023logLTN: Differentiable Fuzzy Logic in the Logarithm Space26 Jun 2023
- 2023Scalable Neural-Probabilistic Answer Set Programming14 Jun 2023
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts31 May 2023
- 2023Interpretable Neural-Symbolic Concept Reasoning27 Apr 2023
- 2023LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision15 Apr 2023
- 2023Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detection9 Mar 2023
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domains8 Mar 2023
- 2023GLUECons: A Generic Benchmark for Learning Under Constraints16 Feb 2023
- 2023Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal2 Feb 2023
- 2023A Scalable Technique for Weak-Supervised Learning with Domain Constraints12 Jan 2023
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference23 Dec 2022
50 newest of 58 All 58 (JSON)
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2022Deep Symbolic Learning: Discovering Symbols and Rules from Perceptionscited by 20
- 2024NeSyA: Neurosymbolic Automatacited by 9
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulationcited by 8
- 2023Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detectioncited by 3
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systemscited by 1
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025Curriculum Abductive Learningcited by 1
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integrationcited by 0
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learningcited by 0
12 most cited of 15 All 15 (JSON)
- 2026Candidate Retention for Abductive Learning30 Sep 2026
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026EM-NeSy: Expectation Maximization for Neurosymbolic Learning12 Jun 2026
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Curriculum Abductive Learning18 May 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2024NeSyA: Neurosymbolic Automata10 Dec 2024
- 2024LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation1 Nov 2024
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systems15 May 2024
- 2023Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detection9 Mar 2023
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference23 Dec 2022
12 newest of 15 All 15 (JSON)
- 2026Parallel Noising in Neural Markov Logic Networkscited by 0
- 2026Parallel Noising in Neural Markov Logic Networks21 Jul 2026
- 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
- 2023Interpretable Neural-Symbolic Concept Reasoningcited by 56
- 2023Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsalcited by 33
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domainscited by 24
- 2023Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learningcited by 22
- 2024On the Independence Assumption in Neurosymbolic Learningcited by 18
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
- 2024Softened Symbol Grounding for Neuro-symbolic Systemscited by 16
- 2024KLay: Accelerating Arithmetic Circuits for Neurosymbolic AIcited by 16
- 2023Relational Concept Bottleneck Modelscited by 15
- 2023Scalable Neural-Probabilistic Answer Set Programmingcited by 14
12 most cited of 42 All 42 (JSON)
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning17 Jun 2026
- 2026DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications3 Feb 2026
- 2026To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits21 Jan 2026
- 2025Understanding and Improving Adversarial Robustness of Neural Probabilistic Circuits24 Sep 2025
- 2025T-ILR: a Neurosymbolic Integration for LTLf21 Aug 2025
- 2025Defining neurosymbolic AI15 Jul 2025
- 2025Grounding Methods for Neural-Symbolic AI10 Jul 2025
- 2025CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning31 Mar 2025
- 2025Neuro-symbolic Weak Supervision: Theory and Semantics24 Mar 2025
- 2025Valid Text-to-SQL Generation with Unification-based DeepStochLog17 Mar 2025
- 2025Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible17 Mar 2025
12 newest of 42 All 42 (JSON)