{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DPGZJVJV6X3LNVPWLHFHBLR4EH","short_pith_number":"pith:DPGZJVJV","canonical_record":{"source":{"id":"1805.10872","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-28T11:33:00Z","cross_cats_sorted":[],"title_canon_sha256":"fa876ca11d20ffd3ab1dae792d4ef63eecb71eac45de26e320165dddd443a6cc","abstract_canon_sha256":"3c85256c646ec950a3f6cecc1c15f434c22164ff929df75a368a42d1c7b25056"},"schema_version":"1.0"},"canonical_sha256":"1bcd94d535f5f6b6d5f659ca70ae3c21d0e69175f469572757269f22526219e4","source":{"kind":"arxiv","id":"1805.10872","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.10872","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"arxiv_version","alias_value":"1805.10872v2","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10872","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"pith_short_12","alias_value":"DPGZJVJV6X3L","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DPGZJVJV6X3LNVPW","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DPGZJVJV","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DPGZJVJV6X3LNVPWLHFHBLR4EH","target":"record","payload":{"canonical_record":{"source":{"id":"1805.10872","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-28T11:33:00Z","cross_cats_sorted":[],"title_canon_sha256":"fa876ca11d20ffd3ab1dae792d4ef63eecb71eac45de26e320165dddd443a6cc","abstract_canon_sha256":"3c85256c646ec950a3f6cecc1c15f434c22164ff929df75a368a42d1c7b25056"},"schema_version":"1.0"},"canonical_sha256":"1bcd94d535f5f6b6d5f659ca70ae3c21d0e69175f469572757269f22526219e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:30.819380Z","signature_b64":"3TkF2LCN2qmzXO666pJu3jD//pf44lFk2rh36+4IMgPeEfpRMzutYgG/QUasKDZDcMzkqPqqC7lOvioSXMJmAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bcd94d535f5f6b6d5f659ca70ae3c21d0e69175f469572757269f22526219e4","last_reissued_at":"2026-05-17T23:58:30.818840Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:30.818840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.10872","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:58:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QN9kaRMlE1KqYDw7M0epyhxiuBiuilVDNyN6FbjNWFjQhGzAiKabG8tCMj2GRD/zKO/IghaCm0vcwNCi+t5gBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T16:41:50.111965Z"},"content_sha256":"272a8f01970dd84ad93b7811fbb3f7997611dcd6e1843e0434cfcb498ffc346d","schema_version":"1.0","event_id":"sha256:272a8f01970dd84ad93b7811fbb3f7997611dcd6e1843e0434cfcb498ffc346d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DPGZJVJV6X3LNVPWLHFHBLR4EH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepProbLog: Neural Probabilistic Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Angelika Kimmig, Luc De Raedt, Robin Manhaeve, Sebastijan Duman\\v{c}i\\'c, Thomas Demeester","submitted_at":"2018-05-28T11:33:00Z","abstract_excerpt":"We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10872","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:58:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AcCBQW64x/hoRYliPEJI5pOy0sWwvFxSPili2xJJPU1eqqq4Sb/rXXfj5FJSedVPlbfe7pwyPeRIaYmcKHd8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T16:41:50.112926Z"},"content_sha256":"697166c96dcd148c563561351a7517e3536f8b8e7ca583a812f8ba1dd7a692c1","schema_version":"1.0","event_id":"sha256:697166c96dcd148c563561351a7517e3536f8b8e7ca583a812f8ba1dd7a692c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/bundle.json","state_url":"https://pith.science/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T16:41:50Z","links":{"resolver":"https://pith.science/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH","bundle":"https://pith.science/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/bundle.json","state":"https://pith.science/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DPGZJVJV6X3LNVPWLHFHBLR4EH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DPGZJVJV6X3LNVPWLHFHBLR4EH","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3c85256c646ec950a3f6cecc1c15f434c22164ff929df75a368a42d1c7b25056","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-28T11:33:00Z","title_canon_sha256":"fa876ca11d20ffd3ab1dae792d4ef63eecb71eac45de26e320165dddd443a6cc"},"schema_version":"1.0","source":{"id":"1805.10872","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.10872","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"arxiv_version","alias_value":"1805.10872v2","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10872","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"pith_short_12","alias_value":"DPGZJVJV6X3L","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DPGZJVJV6X3LNVPW","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DPGZJVJV","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:697166c96dcd148c563561351a7517e3536f8b8e7ca583a812f8ba1dd7a692c1","target":"graph","created_at":"2026-05-17T23:58:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (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","authors_text":"Angelika Kimmig, Luc De Raedt, Robin Manhaeve, Sebastijan Duman\\v{c}i\\'c, Thomas Demeester","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-28T11:33:00Z","title":"DeepProbLog: Neural Probabilistic Logic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10872","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:272a8f01970dd84ad93b7811fbb3f7997611dcd6e1843e0434cfcb498ffc346d","target":"record","created_at":"2026-05-17T23:58:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3c85256c646ec950a3f6cecc1c15f434c22164ff929df75a368a42d1c7b25056","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-28T11:33:00Z","title_canon_sha256":"fa876ca11d20ffd3ab1dae792d4ef63eecb71eac45de26e320165dddd443a6cc"},"schema_version":"1.0","source":{"id":"1805.10872","kind":"arxiv","version":2}},"canonical_sha256":"1bcd94d535f5f6b6d5f659ca70ae3c21d0e69175f469572757269f22526219e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1bcd94d535f5f6b6d5f659ca70ae3c21d0e69175f469572757269f22526219e4","first_computed_at":"2026-05-17T23:58:30.818840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:30.818840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3TkF2LCN2qmzXO666pJu3jD//pf44lFk2rh36+4IMgPeEfpRMzutYgG/QUasKDZDcMzkqPqqC7lOvioSXMJmAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:30.819380Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.10872","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:272a8f01970dd84ad93b7811fbb3f7997611dcd6e1843e0434cfcb498ffc346d","sha256:697166c96dcd148c563561351a7517e3536f8b8e7ca583a812f8ba1dd7a692c1"],"state_sha256":"b02fc700489011ff07adf833d9baced7f560b8571c4e7de5e30cba4f24afdfdd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k26rhGOQWVSSybRqpWXoy5HDM9OMhmkzeKxZEGUPAnRxxQTEg7fT5yHFi3oDSMAX9/9pDDEZFsuG80bB6VSvCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T16:41:50.116935Z","bundle_sha256":"da13e9e80ebbe4a4f00a9122712abbce242d5148eeed647e698f80d16157d573"}}