{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SPSHC46ZMRD3P3SF3QYJIDIGZE","short_pith_number":"pith:SPSHC46Z","canonical_record":{"source":{"id":"2502.08932","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T03:29:42Z","cross_cats_sorted":["cs.CV"],"title_canon_sha256":"a4e99d89b565e624b4e234dca93e40d0ef8f5c33b62a10fc58d118ed8bc3897b","abstract_canon_sha256":"a52a44518a6bd4844ba53cf2cd5842e0773ac2ea6bbf94ed8ee16b48f458741d"},"schema_version":"1.0"},"canonical_sha256":"93e47173d96447b7ee45dc30940d06c90725526eef2482ec3d3ce59ac7673e25","source":{"kind":"arxiv","id":"2502.08932","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08932","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08932v1","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08932","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_12","alias_value":"SPSHC46ZMRD3","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_16","alias_value":"SPSHC46ZMRD3P3SF","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_8","alias_value":"SPSHC46Z","created_at":"2026-07-05T10:13:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SPSHC46ZMRD3P3SF3QYJIDIGZE","target":"record","payload":{"canonical_record":{"source":{"id":"2502.08932","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T03:29:42Z","cross_cats_sorted":["cs.CV"],"title_canon_sha256":"a4e99d89b565e624b4e234dca93e40d0ef8f5c33b62a10fc58d118ed8bc3897b","abstract_canon_sha256":"a52a44518a6bd4844ba53cf2cd5842e0773ac2ea6bbf94ed8ee16b48f458741d"},"schema_version":"1.0"},"canonical_sha256":"93e47173d96447b7ee45dc30940d06c90725526eef2482ec3d3ce59ac7673e25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:49.993810Z","signature_b64":"3RjtHF7K+8P227Ftp7oToDPrY98N4YrDCxb5Ko+2UGKe4JVGaL7qi6bPUcS5XwyAVuhezqDXUpMTbVuRebbqDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"93e47173d96447b7ee45dc30940d06c90725526eef2482ec3d3ce59ac7673e25","last_reissued_at":"2026-07-05T10:13:49.993328Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:49.993328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.08932","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-05T10:13:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2SQ7c8bbbnXYssazL3MHDMp/+sjvaR30MhgR3F4Rcko6xGN6xCg1GR7X6vjHYAuV7sU3MUNq4bUijRHsBfCWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:32:09.401070Z"},"content_sha256":"19ec193e7334f1926de2a3384d033b13134cfc446dec6e1268b7940c971b4399","schema_version":"1.0","event_id":"sha256:19ec193e7334f1926de2a3384d033b13134cfc446dec6e1268b7940c971b4399"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SPSHC46ZMRD3P3SF3QYJIDIGZE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CV"],"primary_cat":"cs.AI","authors_text":"Coung Ly, Cynthia Matuszek, Jasen Babcock, Jessie Yaros, Luke E. Richards, Robin Cosbey, Timothy Doster","submitted_at":"2025-02-13T03:29:42Z","abstract_excerpt":"To create usable and deployable Artificial Intelligence (AI) systems, there requires a level of assurance in performance under many different conditions. Many times, deployed machine learning systems will require more classic logic and reasoning performed through neurosymbolic programs jointly with artificial neural network sensing. While many prior works have examined the assurance of a single component of the system solely with either the neural network alone or entire enterprise systems, very few works have examined the assurance of integrated neurosymbolic systems. Within this work, we ass"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08932","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/2502.08932/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:13:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6nzAEl+TKtg4fEcvt/aruKpYdWgrXtp51e6BUYE1u01/X0eapydvPy0SCKZ1Y3PVcKuvVeDt94qKLU73y9VTCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:32:09.401464Z"},"content_sha256":"d2d9bddd65e0eee955fe1a99d817c80254b283596f6e5d433193993339f280bb","schema_version":"1.0","event_id":"sha256:d2d9bddd65e0eee955fe1a99d817c80254b283596f6e5d433193993339f280bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/bundle.json","state_url":"https://pith.science/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/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-06T19:32:09Z","links":{"resolver":"https://pith.science/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE","bundle":"https://pith.science/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/bundle.json","state":"https://pith.science/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SPSHC46ZMRD3P3SF3QYJIDIGZE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SPSHC46ZMRD3P3SF3QYJIDIGZE","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":"a52a44518a6bd4844ba53cf2cd5842e0773ac2ea6bbf94ed8ee16b48f458741d","cross_cats_sorted":["cs.CV"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T03:29:42Z","title_canon_sha256":"a4e99d89b565e624b4e234dca93e40d0ef8f5c33b62a10fc58d118ed8bc3897b"},"schema_version":"1.0","source":{"id":"2502.08932","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08932","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08932v1","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08932","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_12","alias_value":"SPSHC46ZMRD3","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_16","alias_value":"SPSHC46ZMRD3P3SF","created_at":"2026-07-05T10:13:49Z"},{"alias_kind":"pith_short_8","alias_value":"SPSHC46Z","created_at":"2026-07-05T10:13:49Z"}],"graph_snapshots":[{"event_id":"sha256:d2d9bddd65e0eee955fe1a99d817c80254b283596f6e5d433193993339f280bb","target":"graph","created_at":"2026-07-05T10:13:49Z","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/2502.08932/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To create usable and deployable Artificial Intelligence (AI) systems, there requires a level of assurance in performance under many different conditions. Many times, deployed machine learning systems will require more classic logic and reasoning performed through neurosymbolic programs jointly with artificial neural network sensing. While many prior works have examined the assurance of a single component of the system solely with either the neural network alone or entire enterprise systems, very few works have examined the assurance of integrated neurosymbolic systems. Within this work, we ass","authors_text":"Coung Ly, Cynthia Matuszek, Jasen Babcock, Jessie Yaros, Luke E. Richards, Robin Cosbey, Timothy Doster","cross_cats":["cs.CV"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08932","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:19ec193e7334f1926de2a3384d033b13134cfc446dec6e1268b7940c971b4399","target":"record","created_at":"2026-07-05T10:13:49Z","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":"a52a44518a6bd4844ba53cf2cd5842e0773ac2ea6bbf94ed8ee16b48f458741d","cross_cats_sorted":["cs.CV"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-13T03:29:42Z","title_canon_sha256":"a4e99d89b565e624b4e234dca93e40d0ef8f5c33b62a10fc58d118ed8bc3897b"},"schema_version":"1.0","source":{"id":"2502.08932","kind":"arxiv","version":1}},"canonical_sha256":"93e47173d96447b7ee45dc30940d06c90725526eef2482ec3d3ce59ac7673e25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93e47173d96447b7ee45dc30940d06c90725526eef2482ec3d3ce59ac7673e25","first_computed_at":"2026-07-05T10:13:49.993328Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:49.993328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3RjtHF7K+8P227Ftp7oToDPrY98N4YrDCxb5Ko+2UGKe4JVGaL7qi6bPUcS5XwyAVuhezqDXUpMTbVuRebbqDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:49.993810Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.08932","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19ec193e7334f1926de2a3384d033b13134cfc446dec6e1268b7940c971b4399","sha256:d2d9bddd65e0eee955fe1a99d817c80254b283596f6e5d433193993339f280bb"],"state_sha256":"825a2e053ed705e7fc8569baa9944b079f90943e534901cb5040ed31764bba7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hQnhxzDhGcZrp/LQa13cbgoadpjTgwLrhal7wEAMU8bJkG01zodgOITOYRmobC3X44UXOQZr+xYErWX6CiIZDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:32:09.403885Z","bundle_sha256":"bcda2060aabbb0af7c9fba141a03a352cbc6674ed946358d5c046feb52f088d9"}}