{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:KM462O6BQUJZNIO3L7KKA2HG5T","short_pith_number":"pith:KM462O6B","canonical_record":{"source":{"id":"2502.03274","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-05T15:29:41Z","cross_cats_sorted":[],"title_canon_sha256":"3d2add46aa64ba7b74aa29b2fa8aa7a28a9cd468bba2f30ef908dc1570371ea1","abstract_canon_sha256":"dd56b05e908050140cc8a016a0f4c5b9da638e4b7d873cb93dd14e2848237572"},"schema_version":"1.0"},"canonical_sha256":"5339ed3bc1851396a1db5fd4a068e6ecdb667ce7add76c7b0f29a68bf1b898b5","source":{"kind":"arxiv","id":"2502.03274","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03274","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03274v2","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03274","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_12","alias_value":"KM462O6BQUJZ","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_16","alias_value":"KM462O6BQUJZNIO3","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_8","alias_value":"KM462O6B","created_at":"2026-07-05T11:44:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:KM462O6BQUJZNIO3L7KKA2HG5T","target":"record","payload":{"canonical_record":{"source":{"id":"2502.03274","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-05T15:29:41Z","cross_cats_sorted":[],"title_canon_sha256":"3d2add46aa64ba7b74aa29b2fa8aa7a28a9cd468bba2f30ef908dc1570371ea1","abstract_canon_sha256":"dd56b05e908050140cc8a016a0f4c5b9da638e4b7d873cb93dd14e2848237572"},"schema_version":"1.0"},"canonical_sha256":"5339ed3bc1851396a1db5fd4a068e6ecdb667ce7add76c7b0f29a68bf1b898b5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:44:44.836223Z","signature_b64":"zgdKEeTdxHsWzuUIoI/MYuAKuz0luMy3AwJ8PBUOdAaRXFde9oe4J86UYXJjIHPGzjrHPrUsYr4lM3W4r8VpDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5339ed3bc1851396a1db5fd4a068e6ecdb667ce7add76c7b0f29a68bf1b898b5","last_reissued_at":"2026-07-05T11:44:44.835737Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:44:44.835737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.03274","source_version":2,"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-05T11:44:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IHY4E8Is/7deC0Y6L8OHhRbkaheWlarQ7qyinFDuXn0k3f8jAAjq5HyChSaZREr1GveKG+ycZWE4X+4JnaZoCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T08:56:32.439392Z"},"content_sha256":"0e1582ff1f9e31e5ef46c1f53a76a236429d797d03f0398c847c457598ca6e56","schema_version":"1.0","event_id":"sha256:0e1582ff1f9e31e5ef46c1f53a76a236429d797d03f0398c847c457598ca6e56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:KM462O6BQUJZNIO3L7KKA2HG5T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessio Lomuscio, Edward Stevinson, Georgios Paliouras, Nikolaos Manginas, Nikos Katzouris, Sherwin Varghese, Vasileios Manginas","submitted_at":"2025-02-05T15:29:41Z","abstract_excerpt":"Neuro-Symbolic Artificial Intelligence (NeSy AI) has emerged as a promising direction for integrating neural learning with symbolic reasoning. Typically, in the probabilistic variant of such systems, a neural network first extracts a set of symbols from sub-symbolic input, which are then used by a symbolic component to reason in a probabilistic manner towards answering a query. In this work, we address the problem of formally verifying the robustness of such NeSy probabilistic reasoning systems, therefore paving the way for their safe deployment in critical domains. We analyze the complexity o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03274","kind":"arxiv","version":2},"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.03274/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-05T11:44:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fim5nK6hWCWtr3zHChebCSTbecbCJhmlxKSv/Chu3j+paWyIoD03qU8cFx9qxg4y3BNDLfHOjRC58fOs9kcuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T08:56:32.440182Z"},"content_sha256":"eccb6e903978d96c06b35cf22128b789c7c7ff7540e632c902c3c0670a8558ff","schema_version":"1.0","event_id":"sha256:eccb6e903978d96c06b35cf22128b789c7c7ff7540e632c902c3c0670a8558ff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KM462O6BQUJZNIO3L7KKA2HG5T/bundle.json","state_url":"https://pith.science/pith/KM462O6BQUJZNIO3L7KKA2HG5T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KM462O6BQUJZNIO3L7KKA2HG5T/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-17T08:56:32Z","links":{"resolver":"https://pith.science/pith/KM462O6BQUJZNIO3L7KKA2HG5T","bundle":"https://pith.science/pith/KM462O6BQUJZNIO3L7KKA2HG5T/bundle.json","state":"https://pith.science/pith/KM462O6BQUJZNIO3L7KKA2HG5T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KM462O6BQUJZNIO3L7KKA2HG5T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:KM462O6BQUJZNIO3L7KKA2HG5T","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":"dd56b05e908050140cc8a016a0f4c5b9da638e4b7d873cb93dd14e2848237572","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-05T15:29:41Z","title_canon_sha256":"3d2add46aa64ba7b74aa29b2fa8aa7a28a9cd468bba2f30ef908dc1570371ea1"},"schema_version":"1.0","source":{"id":"2502.03274","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03274","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03274v2","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03274","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_12","alias_value":"KM462O6BQUJZ","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_16","alias_value":"KM462O6BQUJZNIO3","created_at":"2026-07-05T11:44:44Z"},{"alias_kind":"pith_short_8","alias_value":"KM462O6B","created_at":"2026-07-05T11:44:44Z"}],"graph_snapshots":[{"event_id":"sha256:eccb6e903978d96c06b35cf22128b789c7c7ff7540e632c902c3c0670a8558ff","target":"graph","created_at":"2026-07-05T11:44: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/2502.03274/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neuro-Symbolic Artificial Intelligence (NeSy AI) has emerged as a promising direction for integrating neural learning with symbolic reasoning. Typically, in the probabilistic variant of such systems, a neural network first extracts a set of symbols from sub-symbolic input, which are then used by a symbolic component to reason in a probabilistic manner towards answering a query. In this work, we address the problem of formally verifying the robustness of such NeSy probabilistic reasoning systems, therefore paving the way for their safe deployment in critical domains. We analyze the complexity o","authors_text":"Alessio Lomuscio, Edward Stevinson, Georgios Paliouras, Nikolaos Manginas, Nikos Katzouris, Sherwin Varghese, Vasileios Manginas","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03274","kind":"arxiv","version":2},"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:0e1582ff1f9e31e5ef46c1f53a76a236429d797d03f0398c847c457598ca6e56","target":"record","created_at":"2026-07-05T11:44: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":"dd56b05e908050140cc8a016a0f4c5b9da638e4b7d873cb93dd14e2848237572","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-05T15:29:41Z","title_canon_sha256":"3d2add46aa64ba7b74aa29b2fa8aa7a28a9cd468bba2f30ef908dc1570371ea1"},"schema_version":"1.0","source":{"id":"2502.03274","kind":"arxiv","version":2}},"canonical_sha256":"5339ed3bc1851396a1db5fd4a068e6ecdb667ce7add76c7b0f29a68bf1b898b5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5339ed3bc1851396a1db5fd4a068e6ecdb667ce7add76c7b0f29a68bf1b898b5","first_computed_at":"2026-07-05T11:44:44.835737Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:44:44.835737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zgdKEeTdxHsWzuUIoI/MYuAKuz0luMy3AwJ8PBUOdAaRXFde9oe4J86UYXJjIHPGzjrHPrUsYr4lM3W4r8VpDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:44:44.836223Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.03274","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e1582ff1f9e31e5ef46c1f53a76a236429d797d03f0398c847c457598ca6e56","sha256:eccb6e903978d96c06b35cf22128b789c7c7ff7540e632c902c3c0670a8558ff"],"state_sha256":"de1cb3c988a404a5915f5e374d50608eea62d579c2fe6eb672014c444e5b4f18"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sv1vwG8b889pVPOoSjomJwxIQo7iHwDN565akqUCWvO6RN+OSbcJpz9LiFXdjYKnozsipqB8Nup8CnwAMIZyAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T08:56:32.446709Z","bundle_sha256":"e837f1ea08561352ebacf4cd2f59247402c75c914590d195cbfc04bd9b41fcec"}}