{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HFOIO3WRONJKJEJWR4BXQN7SJW","short_pith_number":"pith:HFOIO3WR","canonical_record":{"source":{"id":"2406.04472","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-06T19:56:33Z","cross_cats_sorted":[],"title_canon_sha256":"6cd9fd9decaf945cc07dbc1a1841506b9c4cc0ff87da978d86467a92c7ee92c2","abstract_canon_sha256":"67bf08f05395ca7b2470ae0f5fbaa6f1700f5b7eea153ca33d93aa9352ff85df"},"schema_version":"1.0"},"canonical_sha256":"395c876ed17352a491368f037837f24d8f58a5291278316141b4c939f118c03e","source":{"kind":"arxiv","id":"2406.04472","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.04472","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"arxiv_version","alias_value":"2406.04472v1","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.04472","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_12","alias_value":"HFOIO3WRONJK","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_16","alias_value":"HFOIO3WRONJKJEJW","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_8","alias_value":"HFOIO3WR","created_at":"2026-07-05T08:28:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HFOIO3WRONJKJEJWR4BXQN7SJW","target":"record","payload":{"canonical_record":{"source":{"id":"2406.04472","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-06T19:56:33Z","cross_cats_sorted":[],"title_canon_sha256":"6cd9fd9decaf945cc07dbc1a1841506b9c4cc0ff87da978d86467a92c7ee92c2","abstract_canon_sha256":"67bf08f05395ca7b2470ae0f5fbaa6f1700f5b7eea153ca33d93aa9352ff85df"},"schema_version":"1.0"},"canonical_sha256":"395c876ed17352a491368f037837f24d8f58a5291278316141b4c939f118c03e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:28:44.209947Z","signature_b64":"48iLwpVahiGiYZ0D0RjdSloGUFRqaF/CPJzH/PlMm7FEWbGgC36WB8e36G1p4K8oeIp72/dDO1zVb6AKxCd+DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"395c876ed17352a491368f037837f24d8f58a5291278316141b4c939f118c03e","last_reissued_at":"2026-07-05T08:28:44.209516Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:28:44.209516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.04472","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-05T08:28:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X7Rx9I650e5KmLlpIksW7wQdUW/OT0ZdCxZI9jubheujnyqmeEWSc/sKr074pbBzz95oe2DzfLFN54ppRSXrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:32:06.385373Z"},"content_sha256":"7280d7716ed89d4fc23ab9914984657b81ffb15efa3f108547e2d55254a1f54c","schema_version":"1.0","event_id":"sha256:7280d7716ed89d4fc23ab9914984657b81ffb15efa3f108547e2d55254a1f54c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HFOIO3WRONJKJEJWR4BXQN7SJW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Hardness of Probabilistic Neurosymbolic Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Jaron Maene, Luc De Raedt, Vincent Derkinderen","submitted_at":"2024-06-06T19:56:33Z","abstract_excerpt":"The limitations of purely neural learning have sparked an interest in probabilistic neurosymbolic models, which combine neural networks with probabilistic logical reasoning. As these neurosymbolic models are trained with gradient descent, we study the complexity of differentiating probabilistic reasoning. We prove that although approximating these gradients is intractable in general, it becomes tractable during training. Furthermore, we introduce WeightME, an unbiased gradient estimator based on model sampling. Under mild assumptions, WeightME approximates the gradient with probabilistic guara"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.04472","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/2406.04472/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-05T08:28:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z2CkB1YylxTWwnT57zKI/PFcjVS6hy7gypfD1e4jTIBhgsMl+lhafW+/ovnj28GPv3yRR9yztWjDW21/cF0+AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:32:06.386077Z"},"content_sha256":"9f3e4f565e84124120562be1c32666f6e9a3a84c4afe9d9f5de5c3af57b9b0dd","schema_version":"1.0","event_id":"sha256:9f3e4f565e84124120562be1c32666f6e9a3a84c4afe9d9f5de5c3af57b9b0dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/bundle.json","state_url":"https://pith.science/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/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-08-10T09:32:06Z","links":{"resolver":"https://pith.science/pith/HFOIO3WRONJKJEJWR4BXQN7SJW","bundle":"https://pith.science/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/bundle.json","state":"https://pith.science/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HFOIO3WRONJKJEJWR4BXQN7SJW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HFOIO3WRONJKJEJWR4BXQN7SJW","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":"67bf08f05395ca7b2470ae0f5fbaa6f1700f5b7eea153ca33d93aa9352ff85df","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-06T19:56:33Z","title_canon_sha256":"6cd9fd9decaf945cc07dbc1a1841506b9c4cc0ff87da978d86467a92c7ee92c2"},"schema_version":"1.0","source":{"id":"2406.04472","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.04472","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"arxiv_version","alias_value":"2406.04472v1","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.04472","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_12","alias_value":"HFOIO3WRONJK","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_16","alias_value":"HFOIO3WRONJKJEJW","created_at":"2026-07-05T08:28:44Z"},{"alias_kind":"pith_short_8","alias_value":"HFOIO3WR","created_at":"2026-07-05T08:28:44Z"}],"graph_snapshots":[{"event_id":"sha256:9f3e4f565e84124120562be1c32666f6e9a3a84c4afe9d9f5de5c3af57b9b0dd","target":"graph","created_at":"2026-07-05T08:28:44Z","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/2406.04472/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The limitations of purely neural learning have sparked an interest in probabilistic neurosymbolic models, which combine neural networks with probabilistic logical reasoning. As these neurosymbolic models are trained with gradient descent, we study the complexity of differentiating probabilistic reasoning. We prove that although approximating these gradients is intractable in general, it becomes tractable during training. Furthermore, we introduce WeightME, an unbiased gradient estimator based on model sampling. Under mild assumptions, WeightME approximates the gradient with probabilistic guara","authors_text":"Jaron Maene, Luc De Raedt, Vincent Derkinderen","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-06T19:56:33Z","title":"On the Hardness of Probabilistic Neurosymbolic Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.04472","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:7280d7716ed89d4fc23ab9914984657b81ffb15efa3f108547e2d55254a1f54c","target":"record","created_at":"2026-07-05T08:28:44Z","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":"67bf08f05395ca7b2470ae0f5fbaa6f1700f5b7eea153ca33d93aa9352ff85df","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-06T19:56:33Z","title_canon_sha256":"6cd9fd9decaf945cc07dbc1a1841506b9c4cc0ff87da978d86467a92c7ee92c2"},"schema_version":"1.0","source":{"id":"2406.04472","kind":"arxiv","version":1}},"canonical_sha256":"395c876ed17352a491368f037837f24d8f58a5291278316141b4c939f118c03e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"395c876ed17352a491368f037837f24d8f58a5291278316141b4c939f118c03e","first_computed_at":"2026-07-05T08:28:44.209516Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:28:44.209516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"48iLwpVahiGiYZ0D0RjdSloGUFRqaF/CPJzH/PlMm7FEWbGgC36WB8e36G1p4K8oeIp72/dDO1zVb6AKxCd+DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:28:44.209947Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.04472","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7280d7716ed89d4fc23ab9914984657b81ffb15efa3f108547e2d55254a1f54c","sha256:9f3e4f565e84124120562be1c32666f6e9a3a84c4afe9d9f5de5c3af57b9b0dd"],"state_sha256":"409fffd45371dd30dbf2117be8d6f2568c09cd64b2c5b79ef55b57e53c5e9126"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wn5yqln58eNHwNvV1Fki/x0SlYuFBZGCx0o5ZGX5K/H7xv775iK5UVoLeYmg8wZFi/rDgwlo6zc7VLCqUErOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T09:32:06.391104Z","bundle_sha256":"419dfbe3e3c7bff69a819fe313db683cd1952d7fc14c3af3051a667f3c4284a7"}}