{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WQJVORCQGDB2ACQ334G4PWFWBO","short_pith_number":"pith:WQJVORCQ","canonical_record":{"source":{"id":"2306.08397","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-06-14T09:45:29Z","cross_cats_sorted":[],"title_canon_sha256":"c91575471891a91c9dfa81cb27ec5c1678ef39030c0ec6bbf7cfe979075985e6","abstract_canon_sha256":"b63e2505ca3d4962ad84da79cd7d33112fe714975a04319f4a399861cc355981"},"schema_version":"1.0"},"canonical_sha256":"b41357445030c3a00a1bdf0dc7d8b60b9d21b52c6d2123ba1d7828b5aa76e03e","source":{"kind":"arxiv","id":"2306.08397","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.08397","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"arxiv_version","alias_value":"2306.08397v1","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.08397","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_12","alias_value":"WQJVORCQGDB2","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_16","alias_value":"WQJVORCQGDB2ACQ3","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_8","alias_value":"WQJVORCQ","created_at":"2026-07-05T06:20:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WQJVORCQGDB2ACQ334G4PWFWBO","target":"record","payload":{"canonical_record":{"source":{"id":"2306.08397","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-06-14T09:45:29Z","cross_cats_sorted":[],"title_canon_sha256":"c91575471891a91c9dfa81cb27ec5c1678ef39030c0ec6bbf7cfe979075985e6","abstract_canon_sha256":"b63e2505ca3d4962ad84da79cd7d33112fe714975a04319f4a399861cc355981"},"schema_version":"1.0"},"canonical_sha256":"b41357445030c3a00a1bdf0dc7d8b60b9d21b52c6d2123ba1d7828b5aa76e03e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:20:52.018090Z","signature_b64":"KzvslrO0jn3FI8d43AzU7iYm3MMLfZRvwEDcj3fjaeCBAL95dPPixx+12am/P5Za+okUwFIkoPymHDxWyYdHDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b41357445030c3a00a1bdf0dc7d8b60b9d21b52c6d2123ba1d7828b5aa76e03e","last_reissued_at":"2026-07-05T06:20:52.017728Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:20:52.017728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.08397","source_version":1,"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-07-05T06:20:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lqNQ+MXYuPJZwtBr2rh4byB8QtoJCNar1tSZqDSIRep7zUjU025pFp3omSaXJdp6zDhP9zIC6iswJBpoSq13AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T19:41:26.929268Z"},"content_sha256":"83a5ec1c3ce7210127f17f35a49d0839184922bf41126f8eaa6238f3da68d9c9","schema_version":"1.0","event_id":"sha256:83a5ec1c3ce7210127f17f35a49d0839184922bf41126f8eaa6238f3da68d9c9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WQJVORCQGDB2ACQ334G4PWFWBO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Neural-Probabilistic Answer Set Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting","submitted_at":"2023-06-14T09:45:29Z","abstract_excerpt":"The goal of combining the robustness of neural networks and the expressiveness of symbolic methods has rekindled the interest in Neuro-Symbolic AI. Deep Probabilistic Programming Languages (DPPLs) have been developed for probabilistic logic programming to be carried out via the probability estimations of deep neural networks. However, recent SOTA DPPL approaches allow only for limited conditional probabilistic queries and do not offer the power of true joint probability estimation. In our work, we propose an easy integration of tractable probabilistic inference within a DPPL. To this end, we i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.08397","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2306.08397/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:20:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bn6QbtimX/F+sAH2apz+lrfHPvkD7/YxayDmUItlOZhJMcRlfZ0WrJshOJXuhLWwUUBCoh1MYPy13rJH3ntWAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T19:41:26.929669Z"},"content_sha256":"c8f2e7a6908d4b140904daed36af415d1647ffcbf7f77373d15a124e9dc73f3b","schema_version":"1.0","event_id":"sha256:c8f2e7a6908d4b140904daed36af415d1647ffcbf7f77373d15a124e9dc73f3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WQJVORCQGDB2ACQ334G4PWFWBO/bundle.json","state_url":"https://pith.science/pith/WQJVORCQGDB2ACQ334G4PWFWBO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WQJVORCQGDB2ACQ334G4PWFWBO/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-07-10T19:41:26Z","links":{"resolver":"https://pith.science/pith/WQJVORCQGDB2ACQ334G4PWFWBO","bundle":"https://pith.science/pith/WQJVORCQGDB2ACQ334G4PWFWBO/bundle.json","state":"https://pith.science/pith/WQJVORCQGDB2ACQ334G4PWFWBO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WQJVORCQGDB2ACQ334G4PWFWBO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WQJVORCQGDB2ACQ334G4PWFWBO","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":"b63e2505ca3d4962ad84da79cd7d33112fe714975a04319f4a399861cc355981","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-06-14T09:45:29Z","title_canon_sha256":"c91575471891a91c9dfa81cb27ec5c1678ef39030c0ec6bbf7cfe979075985e6"},"schema_version":"1.0","source":{"id":"2306.08397","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.08397","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"arxiv_version","alias_value":"2306.08397v1","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.08397","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_12","alias_value":"WQJVORCQGDB2","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_16","alias_value":"WQJVORCQGDB2ACQ3","created_at":"2026-07-05T06:20:52Z"},{"alias_kind":"pith_short_8","alias_value":"WQJVORCQ","created_at":"2026-07-05T06:20:52Z"}],"graph_snapshots":[{"event_id":"sha256:c8f2e7a6908d4b140904daed36af415d1647ffcbf7f77373d15a124e9dc73f3b","target":"graph","created_at":"2026-07-05T06:20:52Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2306.08397/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The goal of combining the robustness of neural networks and the expressiveness of symbolic methods has rekindled the interest in Neuro-Symbolic AI. Deep Probabilistic Programming Languages (DPPLs) have been developed for probabilistic logic programming to be carried out via the probability estimations of deep neural networks. However, recent SOTA DPPL approaches allow only for limited conditional probabilistic queries and do not offer the power of true joint probability estimation. In our work, we propose an easy integration of tractable probabilistic inference within a DPPL. To this end, we i","authors_text":"Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-06-14T09:45:29Z","title":"Scalable Neural-Probabilistic Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.08397","kind":"arxiv","version":1},"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:83a5ec1c3ce7210127f17f35a49d0839184922bf41126f8eaa6238f3da68d9c9","target":"record","created_at":"2026-07-05T06:20:52Z","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":"b63e2505ca3d4962ad84da79cd7d33112fe714975a04319f4a399861cc355981","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-06-14T09:45:29Z","title_canon_sha256":"c91575471891a91c9dfa81cb27ec5c1678ef39030c0ec6bbf7cfe979075985e6"},"schema_version":"1.0","source":{"id":"2306.08397","kind":"arxiv","version":1}},"canonical_sha256":"b41357445030c3a00a1bdf0dc7d8b60b9d21b52c6d2123ba1d7828b5aa76e03e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b41357445030c3a00a1bdf0dc7d8b60b9d21b52c6d2123ba1d7828b5aa76e03e","first_computed_at":"2026-07-05T06:20:52.017728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:20:52.017728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KzvslrO0jn3FI8d43AzU7iYm3MMLfZRvwEDcj3fjaeCBAL95dPPixx+12am/P5Za+okUwFIkoPymHDxWyYdHDA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:20:52.018090Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.08397","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83a5ec1c3ce7210127f17f35a49d0839184922bf41126f8eaa6238f3da68d9c9","sha256:c8f2e7a6908d4b140904daed36af415d1647ffcbf7f77373d15a124e9dc73f3b"],"state_sha256":"8386b3051f82041b147dc069a4726ea0db02939fc4951b681197e8229bdc7a0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nh1iUFsigxWzn4lcZjg+fyHME+clxxiBfhbfOT67+LnJqVRTKxRAJSUEc87wTQkkGR7lXI7oKQOQ3EIVixaIBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T19:41:26.931835Z","bundle_sha256":"c090909894da0c057529f238eeea1f8dafa7df17351e0206978c3da9021c0360"}}