{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5PE7SFLQ6TRWTSCE5WRPAZBNWY","short_pith_number":"pith:5PE7SFLQ","canonical_record":{"source":{"id":"2402.01889","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T20:33:14Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"da2601aba123d5b467e85ea46d5ceba84b155473aab0a00c24005985e921e265","abstract_canon_sha256":"b814bead08f487d9c1559eb2299e60c9d4c3d29f5955381fc2f3a161f3138c51"},"schema_version":"1.0"},"canonical_sha256":"ebc9f91570f4e369c844eda2f0642db634327fd827a775e8618a707b48675b9d","source":{"kind":"arxiv","id":"2402.01889","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.01889","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"2402.01889v1","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01889","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"5PE7SFLQ6TRW","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_16","alias_value":"5PE7SFLQ6TRWTSCE","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_8","alias_value":"5PE7SFLQ","created_at":"2026-07-05T07:41:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5PE7SFLQ6TRWTSCE5WRPAZBNWY","target":"record","payload":{"canonical_record":{"source":{"id":"2402.01889","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T20:33:14Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"da2601aba123d5b467e85ea46d5ceba84b155473aab0a00c24005985e921e265","abstract_canon_sha256":"b814bead08f487d9c1559eb2299e60c9d4c3d29f5955381fc2f3a161f3138c51"},"schema_version":"1.0"},"canonical_sha256":"ebc9f91570f4e369c844eda2f0642db634327fd827a775e8618a707b48675b9d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:41:07.963168Z","signature_b64":"jesYKHz9adGLGyQqTQYjC1AdVlOgzLsn6ZCgFHofkF9XK8K9Hf7LKoRgtUWOxMlyQao5kFwRblw54p/vDWS6CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebc9f91570f4e369c844eda2f0642db634327fd827a775e8618a707b48675b9d","last_reissued_at":"2026-07-05T07:41:07.962749Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:41:07.962749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.01889","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-05T07:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fnl51p7ULGFiyYwEms3jvTKATXme40wH2HtsSp+6OkGOeU0j2I684djDB6ATf+zi8DTIlveV8hZo+sl76q7rBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:22:36.803131Z"},"content_sha256":"51b5eb0f6db3959abdd525b2be9ca45e01e3286c64d1f1b679fbe3d15ac244f6","schema_version":"1.0","event_id":"sha256:51b5eb0f6db3959abdd525b2be9ca45e01e3286c64d1f1b679fbe3d15ac244f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5PE7SFLQ6TRWTSCE5WRPAZBNWY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Alessandra Russo, Daniel Cunnington, Jorge Lobo, Mark Law","submitted_at":"2024-02-02T20:33:14Z","abstract_excerpt":"Neuro-Symbolic AI (NeSy) holds promise to ensure the safe deployment of AI systems, as interpretable symbolic techniques provide formal behaviour guarantees. The challenge is how to effectively integrate neural and symbolic computation, to enable learning and reasoning from raw data. Existing pipelines that train the neural and symbolic components sequentially require extensive labelling, whereas end-to-end approaches are limited in terms of scalability, due to the combinatorial explosion in the symbol grounding problem. In this paper, we leverage the implicit knowledge within foundation model"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01889","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/2402.01889/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-05T07:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R7aQui5ywrpwDv26rt3vxp8F1hq1Q5IJdMCYgncvfN+nVyv4Q6BwSV/iVp+9eoXdjKbGeS0lm/DwtmhR/zo3Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:22:36.803521Z"},"content_sha256":"db76f83068e409063c365a11bb523636641b422a7766a7b231709363dd1627ca","schema_version":"1.0","event_id":"sha256:db76f83068e409063c365a11bb523636641b422a7766a7b231709363dd1627ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/bundle.json","state_url":"https://pith.science/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/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-07T09:22:36Z","links":{"resolver":"https://pith.science/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY","bundle":"https://pith.science/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/bundle.json","state":"https://pith.science/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PE7SFLQ6TRWTSCE5WRPAZBNWY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5PE7SFLQ6TRWTSCE5WRPAZBNWY","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":"b814bead08f487d9c1559eb2299e60c9d4c3d29f5955381fc2f3a161f3138c51","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T20:33:14Z","title_canon_sha256":"da2601aba123d5b467e85ea46d5ceba84b155473aab0a00c24005985e921e265"},"schema_version":"1.0","source":{"id":"2402.01889","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.01889","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"2402.01889v1","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01889","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"5PE7SFLQ6TRW","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_16","alias_value":"5PE7SFLQ6TRWTSCE","created_at":"2026-07-05T07:41:07Z"},{"alias_kind":"pith_short_8","alias_value":"5PE7SFLQ","created_at":"2026-07-05T07:41:07Z"}],"graph_snapshots":[{"event_id":"sha256:db76f83068e409063c365a11bb523636641b422a7766a7b231709363dd1627ca","target":"graph","created_at":"2026-07-05T07:41:07Z","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/2402.01889/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neuro-Symbolic AI (NeSy) holds promise to ensure the safe deployment of AI systems, as interpretable symbolic techniques provide formal behaviour guarantees. The challenge is how to effectively integrate neural and symbolic computation, to enable learning and reasoning from raw data. Existing pipelines that train the neural and symbolic components sequentially require extensive labelling, whereas end-to-end approaches are limited in terms of scalability, due to the combinatorial explosion in the symbol grounding problem. In this paper, we leverage the implicit knowledge within foundation model","authors_text":"Alessandra Russo, Daniel Cunnington, Jorge Lobo, Mark Law","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T20:33:14Z","title":"The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01889","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:51b5eb0f6db3959abdd525b2be9ca45e01e3286c64d1f1b679fbe3d15ac244f6","target":"record","created_at":"2026-07-05T07:41:07Z","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":"b814bead08f487d9c1559eb2299e60c9d4c3d29f5955381fc2f3a161f3138c51","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T20:33:14Z","title_canon_sha256":"da2601aba123d5b467e85ea46d5ceba84b155473aab0a00c24005985e921e265"},"schema_version":"1.0","source":{"id":"2402.01889","kind":"arxiv","version":1}},"canonical_sha256":"ebc9f91570f4e369c844eda2f0642db634327fd827a775e8618a707b48675b9d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebc9f91570f4e369c844eda2f0642db634327fd827a775e8618a707b48675b9d","first_computed_at":"2026-07-05T07:41:07.962749Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:41:07.962749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jesYKHz9adGLGyQqTQYjC1AdVlOgzLsn6ZCgFHofkF9XK8K9Hf7LKoRgtUWOxMlyQao5kFwRblw54p/vDWS6CA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:41:07.963168Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.01889","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:51b5eb0f6db3959abdd525b2be9ca45e01e3286c64d1f1b679fbe3d15ac244f6","sha256:db76f83068e409063c365a11bb523636641b422a7766a7b231709363dd1627ca"],"state_sha256":"be9cf83081191e63a093f7097b6dfa9e029656a85f8c4afea37b90403fc21bfc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FatMQYlfbBcOIMkYW/fULkUjLBOH/TwEELUd3KLnMtLV1ma1ivhR1ap2iqRcMyohlqlWMZvTbWxV6hVMa3UtDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T09:22:36.805610Z","bundle_sha256":"497a0e7adb8346dde299b49348f11539f53a81be3a5e0314e01a3d8ac968adda"}}