{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BPM3GNMWVLJCX2LVRXU3KDSC5U","short_pith_number":"pith:BPM3GNMW","canonical_record":{"source":{"id":"2405.09521","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-15T17:24:34Z","cross_cats_sorted":[],"title_canon_sha256":"e27812a420756252c82d2911f8bbbe623f8b114ed1eb74da548bcc3cb1ad1bad","abstract_canon_sha256":"3530fb115f58821294e522ba164cf281ca73752164a4af1bb624ecfd059c11bb"},"schema_version":"1.0"},"canonical_sha256":"0bd9b33596aad22be9758de9b50e42ed1b5984578243e0c5bbd995e1193d06f5","source":{"kind":"arxiv","id":"2405.09521","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.09521","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"arxiv_version","alias_value":"2405.09521v3","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.09521","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_12","alias_value":"BPM3GNMWVLJC","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_16","alias_value":"BPM3GNMWVLJCX2LV","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_8","alias_value":"BPM3GNMW","created_at":"2026-07-05T10:07:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BPM3GNMWVLJCX2LVRXU3KDSC5U","target":"record","payload":{"canonical_record":{"source":{"id":"2405.09521","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-15T17:24:34Z","cross_cats_sorted":[],"title_canon_sha256":"e27812a420756252c82d2911f8bbbe623f8b114ed1eb74da548bcc3cb1ad1bad","abstract_canon_sha256":"3530fb115f58821294e522ba164cf281ca73752164a4af1bb624ecfd059c11bb"},"schema_version":"1.0"},"canonical_sha256":"0bd9b33596aad22be9758de9b50e42ed1b5984578243e0c5bbd995e1193d06f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:07:24.793293Z","signature_b64":"eOcQ9TinSDZcNaczygZuB+vteD2cX5H38OVSd8Cx+QoYvsOLRyxZPyF0xaNAhJ0eRFhJ7s0kFFf+zmViqJ0+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0bd9b33596aad22be9758de9b50e42ed1b5984578243e0c5bbd995e1193d06f5","last_reissued_at":"2026-07-05T10:07:24.792845Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:07:24.792845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.09521","source_version":3,"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-05T10:07:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p8zMFYRhQiD57hea5ILuixFdLsalP25uSma7gRSjyw5nJYuubSq9idaBAxJWi7cl6PMd+XukFWgoVs74ZoUsBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:34:58.340583Z"},"content_sha256":"90d34f45e0119fdcacc9d52d08c60708a2674de951f1f5d93e152f85721ada3b","schema_version":"1.0","event_id":"sha256:90d34f45e0119fdcacc9d52d08c60708a2674de951f1f5d93e152f85721ada3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BPM3GNMWVLJCX2LVRXU3KDSC5U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Giuseppe Marra, Robin Manhaeve, Sebastijan Dumancic, Tilman Hinnerichs","submitted_at":"2024-05-15T17:24:34Z","abstract_excerpt":"Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning systems: Declarativeness. The lack of declarativeness is caused by the functional nature of neural predicates inherited from neural networks. We propose and implement a general framework for fully declarative neural predicates, which hence extends to fully declarative NeSy frameworks. We first show that the declarative extension preserves the learning and reasoning capabilities while being able to answer arbitrary querie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.09521","kind":"arxiv","version":3},"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/2405.09521/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-05T10:07:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t2FllNODpf6j0nUerhYwxY9DKf0R7bpl3ZpwvwoviO8g/HLZLuMAz58pEQnhnpstlhNNoL59aLidnbdcrFPOCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:34:58.341252Z"},"content_sha256":"877e519d89e8168af4d572ec80901008a8a44b5c7e07e0869ad734e54ce89f69","schema_version":"1.0","event_id":"sha256:877e519d89e8168af4d572ec80901008a8a44b5c7e07e0869ad734e54ce89f69"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/bundle.json","state_url":"https://pith.science/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/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-11T15:34:58Z","links":{"resolver":"https://pith.science/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U","bundle":"https://pith.science/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/bundle.json","state":"https://pith.science/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BPM3GNMWVLJCX2LVRXU3KDSC5U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BPM3GNMWVLJCX2LVRXU3KDSC5U","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":"3530fb115f58821294e522ba164cf281ca73752164a4af1bb624ecfd059c11bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-15T17:24:34Z","title_canon_sha256":"e27812a420756252c82d2911f8bbbe623f8b114ed1eb74da548bcc3cb1ad1bad"},"schema_version":"1.0","source":{"id":"2405.09521","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.09521","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"arxiv_version","alias_value":"2405.09521v3","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.09521","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_12","alias_value":"BPM3GNMWVLJC","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_16","alias_value":"BPM3GNMWVLJCX2LV","created_at":"2026-07-05T10:07:24Z"},{"alias_kind":"pith_short_8","alias_value":"BPM3GNMW","created_at":"2026-07-05T10:07:24Z"}],"graph_snapshots":[{"event_id":"sha256:877e519d89e8168af4d572ec80901008a8a44b5c7e07e0869ad734e54ce89f69","target":"graph","created_at":"2026-07-05T10:07:24Z","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/2405.09521/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning systems: Declarativeness. The lack of declarativeness is caused by the functional nature of neural predicates inherited from neural networks. We propose and implement a general framework for fully declarative neural predicates, which hence extends to fully declarative NeSy frameworks. We first show that the declarative extension preserves the learning and reasoning capabilities while being able to answer arbitrary querie","authors_text":"Giuseppe Marra, Robin Manhaeve, Sebastijan Dumancic, Tilman Hinnerichs","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-15T17:24:34Z","title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.09521","kind":"arxiv","version":3},"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:90d34f45e0119fdcacc9d52d08c60708a2674de951f1f5d93e152f85721ada3b","target":"record","created_at":"2026-07-05T10:07:24Z","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":"3530fb115f58821294e522ba164cf281ca73752164a4af1bb624ecfd059c11bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-15T17:24:34Z","title_canon_sha256":"e27812a420756252c82d2911f8bbbe623f8b114ed1eb74da548bcc3cb1ad1bad"},"schema_version":"1.0","source":{"id":"2405.09521","kind":"arxiv","version":3}},"canonical_sha256":"0bd9b33596aad22be9758de9b50e42ed1b5984578243e0c5bbd995e1193d06f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bd9b33596aad22be9758de9b50e42ed1b5984578243e0c5bbd995e1193d06f5","first_computed_at":"2026-07-05T10:07:24.792845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:07:24.792845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eOcQ9TinSDZcNaczygZuB+vteD2cX5H38OVSd8Cx+QoYvsOLRyxZPyF0xaNAhJ0eRFhJ7s0kFFf+zmViqJ0+Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:07:24.793293Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.09521","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90d34f45e0119fdcacc9d52d08c60708a2674de951f1f5d93e152f85721ada3b","sha256:877e519d89e8168af4d572ec80901008a8a44b5c7e07e0869ad734e54ce89f69"],"state_sha256":"6b23d5244ab45c179fa90aaac6ed76a72d6530229f669c8562bd795578a9bdfd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KG6O0dThPmzLRlFxgFVo98yqAmdQYCI+dyvpfP/Y7DMOMT7t3S98a8Wgek/lnfIjBLnc33IDTNlLq6IhPP3FAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T15:34:58.348082Z","bundle_sha256":"e5739bb98164202d244ddb243a33cc82f8d437d24df20cad1df97e8446c7b78b"}}