Pith. sign in

REVIEW 1 cited by

DeepStochLog: Neural Stochastic Logic Programming

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2106.12574 v1 pith:CS47LTS6 submitted 2021-06-23 cs.AI cs.LO

classification cs.AIcs.LO
keywords neurallogicstochasticdeepstochloglearningprobabilisticprogramssymbolic
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Neuro-Symbolic AI in 2024: A Systematic Review

    cs.AI 2025-01 conditional novelty 4.0 of 10

    A systematic review of 158 Neuro-Symbolic AI papers finds research concentrated in learning and inference, with explainability, trustworthiness, and Meta-Cognition as underrepresented gaps.

Pith tools