{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:J32PMKJZEWJXT4FPEIWTWNT7XJ","short_pith_number":"pith:J32PMKJZ","canonical_record":{"source":{"id":"2605.24084","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-22T18:00:01Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"a1a02a6add1521d2cd11ac085d82b0c45c4aa0d7f0bc8b877e52702db2242d3b","abstract_canon_sha256":"36550fbd7ed2ea6c938d422982736a404d0b7086dc9aa42ba9556945a7b711d5"},"schema_version":"1.0"},"canonical_sha256":"4ef4f62939259379f0af222d3b367fba75e409168dc57a4e65618587b36273dd","source":{"kind":"arxiv","id":"2605.24084","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.24084","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"arxiv_version","alias_value":"2605.24084v1","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.24084","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_12","alias_value":"J32PMKJZEWJX","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_16","alias_value":"J32PMKJZEWJXT4FP","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_8","alias_value":"J32PMKJZ","created_at":"2026-05-26T01:02:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:J32PMKJZEWJXT4FPEIWTWNT7XJ","target":"record","payload":{"canonical_record":{"source":{"id":"2605.24084","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-22T18:00:01Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"a1a02a6add1521d2cd11ac085d82b0c45c4aa0d7f0bc8b877e52702db2242d3b","abstract_canon_sha256":"36550fbd7ed2ea6c938d422982736a404d0b7086dc9aa42ba9556945a7b711d5"},"schema_version":"1.0"},"canonical_sha256":"4ef4f62939259379f0af222d3b367fba75e409168dc57a4e65618587b36273dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T01:02:44.490168Z","signature_b64":"HnaHzLcZMLNXtINEHV6nle9SVJ/ZlHK2iZLttrnNmvr9+XV6+2m3882UIpQtaVloEhs5Xaw5PecXCiTE9xzFAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ef4f62939259379f0af222d3b367fba75e409168dc57a4e65618587b36273dd","last_reissued_at":"2026-05-26T01:02:44.489388Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T01:02:44.489388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.24084","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-05-26T01:02:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PLkSQ8uWwWwbO9Xd0B9kD5HD0wcwHsKtNNKJlq/9dg/fWfS3tpKjUBLOpkoIts1nKkQWuhsU/vZYunxxEzqMCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:29:48.872701Z"},"content_sha256":"a9c710e9b169dba5cdf2ff833197a2ab257ecefb40181572e06d63928ccf6c56","schema_version":"1.0","event_id":"sha256:a9c710e9b169dba5cdf2ff833197a2ab257ecefb40181572e06d63928ccf6c56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:J32PMKJZEWJXT4FPEIWTWNT7XJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"David Boetius, Guy Katz, Shahaf Bassan, Stefan Leue, Tobias Sutter","submitted_at":"2026-05-22T18:00:01Z","abstract_excerpt":"Shapley additive explanations (SHAP) are widely recognised as computationally intractable for neural networks, since they induce an exponential search space over the input features. In this work, we take a first step towards scaling exact SHAP computation to larger search spaces by introducing an algorithm that leverages recent advances in neural network verification to compute arbitrarily tight exact lower and upper bounds on SHAP values for neural networks, ultimately recovering the exact SHAP values. We demonstrate that our approach scales to orders of magnitude larger search spaces than st"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.24084","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/2605.24084/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-05-26T01:02:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zfbWjo71x+rxznLEaakNtX97u6EAHhazCeixHPC86MmsIvauQ/OobT9H1uoRy8ybsYTIPefuIdkGtCkTyX0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:29:48.873250Z"},"content_sha256":"29b2e651a4847b23ab9c7b0b86ddcbea20e7616df632b012e29a82d9900b8d5a","schema_version":"1.0","event_id":"sha256:29b2e651a4847b23ab9c7b0b86ddcbea20e7616df632b012e29a82d9900b8d5a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/bundle.json","state_url":"https://pith.science/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/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-05-30T13:29:48Z","links":{"resolver":"https://pith.science/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ","bundle":"https://pith.science/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/bundle.json","state":"https://pith.science/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J32PMKJZEWJXT4FPEIWTWNT7XJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:J32PMKJZEWJXT4FPEIWTWNT7XJ","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":"36550fbd7ed2ea6c938d422982736a404d0b7086dc9aa42ba9556945a7b711d5","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-22T18:00:01Z","title_canon_sha256":"a1a02a6add1521d2cd11ac085d82b0c45c4aa0d7f0bc8b877e52702db2242d3b"},"schema_version":"1.0","source":{"id":"2605.24084","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.24084","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"arxiv_version","alias_value":"2605.24084v1","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.24084","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_12","alias_value":"J32PMKJZEWJX","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_16","alias_value":"J32PMKJZEWJXT4FP","created_at":"2026-05-26T01:02:44Z"},{"alias_kind":"pith_short_8","alias_value":"J32PMKJZ","created_at":"2026-05-26T01:02:44Z"}],"graph_snapshots":[{"event_id":"sha256:29b2e651a4847b23ab9c7b0b86ddcbea20e7616df632b012e29a82d9900b8d5a","target":"graph","created_at":"2026-05-26T01:02: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/2605.24084/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Shapley additive explanations (SHAP) are widely recognised as computationally intractable for neural networks, since they induce an exponential search space over the input features. In this work, we take a first step towards scaling exact SHAP computation to larger search spaces by introducing an algorithm that leverages recent advances in neural network verification to compute arbitrarily tight exact lower and upper bounds on SHAP values for neural networks, ultimately recovering the exact SHAP values. We demonstrate that our approach scales to orders of magnitude larger search spaces than st","authors_text":"David Boetius, Guy Katz, Shahaf Bassan, Stefan Leue, Tobias Sutter","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-22T18:00:01Z","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.24084","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:a9c710e9b169dba5cdf2ff833197a2ab257ecefb40181572e06d63928ccf6c56","target":"record","created_at":"2026-05-26T01:02: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":"36550fbd7ed2ea6c938d422982736a404d0b7086dc9aa42ba9556945a7b711d5","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-22T18:00:01Z","title_canon_sha256":"a1a02a6add1521d2cd11ac085d82b0c45c4aa0d7f0bc8b877e52702db2242d3b"},"schema_version":"1.0","source":{"id":"2605.24084","kind":"arxiv","version":1}},"canonical_sha256":"4ef4f62939259379f0af222d3b367fba75e409168dc57a4e65618587b36273dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ef4f62939259379f0af222d3b367fba75e409168dc57a4e65618587b36273dd","first_computed_at":"2026-05-26T01:02:44.489388Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T01:02:44.489388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HnaHzLcZMLNXtINEHV6nle9SVJ/ZlHK2iZLttrnNmvr9+XV6+2m3882UIpQtaVloEhs5Xaw5PecXCiTE9xzFAg==","signature_status":"signed_v1","signed_at":"2026-05-26T01:02:44.490168Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.24084","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9c710e9b169dba5cdf2ff833197a2ab257ecefb40181572e06d63928ccf6c56","sha256:29b2e651a4847b23ab9c7b0b86ddcbea20e7616df632b012e29a82d9900b8d5a"],"state_sha256":"a1f664dd60f0e586e59d843bb4ab0db1aa40415cae94a833b10d2fc80c6b1603"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rQa8ocFdJAztsVbIyIAuABDQ7wphjRk3RwIwjXFPtyOcRiluuyWiV5i6aFAwPtIvWumu3sBh42pWHW8N8IrHBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:29:48.875946Z","bundle_sha256":"2e846905ccfcaa3bcd9fe377d0c8c3932c616c99ef670ac8575e62437f776d26"}}