Pith. sign in

REVIEW 1 cited by

Neural Probabilistic Logic Programming in DeepProbLog

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 1907.08194 v2 pith:TJ2ZBRCN submitted 2019-07-18 cs.AI

classification cs.AI
keywords logicneuralprobabilisticprogrammingdeepprobloglanguagelearningdeep
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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.

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. NAROCE: A Neural Algorithmic Reasoner Framework for Online Complex Event Detection

    cs.LG 2025-02 conditional novelty 6.0 of 10

    A two-stage framework learns complex event rules from LLM-generated pseudo traces and then maps sensor embeddings into that rule space, matching a stronger baseline with half the labels on a synthetic benchmark.

Pith tools