{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:WQI7PX5H2CEL4RPQUJ64I3MZZX","short_pith_number":"pith:WQI7PX5H","canonical_record":{"source":{"id":"2506.08505","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-10T07:04:13Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"63578764141649dc8f3371ebdda88390f8cb16281dad4996f0197b6109e05433","abstract_canon_sha256":"d9e303dcef20e9f994709da6a42b30e35a31d63dd5de2e08e2daf16fed2f4b00"},"schema_version":"1.0"},"canonical_sha256":"b411f7dfa7d088be45f0a27dc46d99cdc94c5272ddd0b68457ee40e41c461d0c","source":{"kind":"arxiv","id":"2506.08505","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08505","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08505v1","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08505","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_12","alias_value":"WQI7PX5H2CEL","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_16","alias_value":"WQI7PX5H2CEL4RPQ","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_8","alias_value":"WQI7PX5H","created_at":"2026-07-05T11:18:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:WQI7PX5H2CEL4RPQUJ64I3MZZX","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08505","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-10T07:04:13Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"63578764141649dc8f3371ebdda88390f8cb16281dad4996f0197b6109e05433","abstract_canon_sha256":"d9e303dcef20e9f994709da6a42b30e35a31d63dd5de2e08e2daf16fed2f4b00"},"schema_version":"1.0"},"canonical_sha256":"b411f7dfa7d088be45f0a27dc46d99cdc94c5272ddd0b68457ee40e41c461d0c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:50.766394Z","signature_b64":"cPvRX+L+runPA7un7rNHV1RwaQ5fG1T7xHlG/R8NZXAvgCV8mZYRqLMweOppCOtbcx3ibsGlUvOORedlblLYBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b411f7dfa7d088be45f0a27dc46d99cdc94c5272ddd0b68457ee40e41c461d0c","last_reissued_at":"2026-07-05T11:18:50.765935Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:50.765935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08505","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-05T11:18:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GULi/zbFQTTuUybGao7uuzoX+1amKuMaUhryIO0JvuOMownk/lpfKcfDNigyEi1xsXIaFykLokFUdakXv9I7BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T17:13:31.075055Z"},"content_sha256":"bd12e0fadc2097b38e950ac0e27cb6439d3b531a45677d27f0b2f5fd100f1ae7","schema_version":"1.0","event_id":"sha256:bd12e0fadc2097b38e950ac0e27cb6439d3b531a45677d27f0b2f5fd100f1ae7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:WQI7PX5H2CEL4RPQUJ64I3MZZX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"Guy Katz, Matthias Althoff, Shahaf Bassan, Tobias Ladner, Yizhak Yisrael Elboher","submitted_at":"2025-06-10T07:04:13Z","abstract_excerpt":"Despite significant advancements in post-hoc explainability techniques for neural networks, many current methods rely on heuristics and do not provide formally provable guarantees over the explanations provided. Recent work has shown that it is possible to obtain explanations with formal guarantees by identifying subsets of input features that are sufficient to determine that predictions remain unchanged using neural network verification techniques. Despite the appeal of these explanations, their computation faces significant scalability challenges. In this work, we address this gap by proposi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08505","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/2506.08505/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:18:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fQCNGfZSs+2hx5mePVXLqbyZUtl0DFdtR061hlGgQA2ddAw40wxZ00tcZUQc/eijcr+Uk/Zh5exwka0KsoRqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T17:13:31.075690Z"},"content_sha256":"7c5f2f2b111a6a1b26b33f39ebfd7f2da96e56ee5259908b1c0b841e2f4dc4de","schema_version":"1.0","event_id":"sha256:7c5f2f2b111a6a1b26b33f39ebfd7f2da96e56ee5259908b1c0b841e2f4dc4de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/bundle.json","state_url":"https://pith.science/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/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-18T17:13:31Z","links":{"resolver":"https://pith.science/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX","bundle":"https://pith.science/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/bundle.json","state":"https://pith.science/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WQI7PX5H2CEL4RPQUJ64I3MZZX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WQI7PX5H2CEL4RPQUJ64I3MZZX","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":"d9e303dcef20e9f994709da6a42b30e35a31d63dd5de2e08e2daf16fed2f4b00","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-10T07:04:13Z","title_canon_sha256":"63578764141649dc8f3371ebdda88390f8cb16281dad4996f0197b6109e05433"},"schema_version":"1.0","source":{"id":"2506.08505","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08505","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08505v1","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08505","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_12","alias_value":"WQI7PX5H2CEL","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_16","alias_value":"WQI7PX5H2CEL4RPQ","created_at":"2026-07-05T11:18:50Z"},{"alias_kind":"pith_short_8","alias_value":"WQI7PX5H","created_at":"2026-07-05T11:18:50Z"}],"graph_snapshots":[{"event_id":"sha256:7c5f2f2b111a6a1b26b33f39ebfd7f2da96e56ee5259908b1c0b841e2f4dc4de","target":"graph","created_at":"2026-07-05T11:18:50Z","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/2506.08505/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite significant advancements in post-hoc explainability techniques for neural networks, many current methods rely on heuristics and do not provide formally provable guarantees over the explanations provided. Recent work has shown that it is possible to obtain explanations with formal guarantees by identifying subsets of input features that are sufficient to determine that predictions remain unchanged using neural network verification techniques. Despite the appeal of these explanations, their computation faces significant scalability challenges. In this work, we address this gap by proposi","authors_text":"Guy Katz, Matthias Althoff, Shahaf Bassan, Tobias Ladner, Yizhak Yisrael Elboher","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-10T07:04:13Z","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08505","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:bd12e0fadc2097b38e950ac0e27cb6439d3b531a45677d27f0b2f5fd100f1ae7","target":"record","created_at":"2026-07-05T11:18:50Z","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":"d9e303dcef20e9f994709da6a42b30e35a31d63dd5de2e08e2daf16fed2f4b00","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-10T07:04:13Z","title_canon_sha256":"63578764141649dc8f3371ebdda88390f8cb16281dad4996f0197b6109e05433"},"schema_version":"1.0","source":{"id":"2506.08505","kind":"arxiv","version":1}},"canonical_sha256":"b411f7dfa7d088be45f0a27dc46d99cdc94c5272ddd0b68457ee40e41c461d0c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b411f7dfa7d088be45f0a27dc46d99cdc94c5272ddd0b68457ee40e41c461d0c","first_computed_at":"2026-07-05T11:18:50.765935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:50.765935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cPvRX+L+runPA7un7rNHV1RwaQ5fG1T7xHlG/R8NZXAvgCV8mZYRqLMweOppCOtbcx3ibsGlUvOORedlblLYBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:50.766394Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08505","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd12e0fadc2097b38e950ac0e27cb6439d3b531a45677d27f0b2f5fd100f1ae7","sha256:7c5f2f2b111a6a1b26b33f39ebfd7f2da96e56ee5259908b1c0b841e2f4dc4de"],"state_sha256":"49291d59827fdfc2f92d1175f61846d3401f0e9b59adef70d711d25ec70088fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+D1Lv1TtHEsO9qCt26NcNbkgvwP9J9maJ6aFaGnqMoMwYO6i1d2u4hlGSCvpQauV4IWeOPpIF6UHu6yN7IWvBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T17:13:31.081327Z","bundle_sha256":"30b26fd5a8e472a2cf935b16c4665f27bbb76d70c708aacfad670c61f38c4c28"}}