{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FTUK3ET4TGEQ5V2BB6HG4MUNSK","short_pith_number":"pith:FTUK3ET4","canonical_record":{"source":{"id":"2411.08875","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T18:52:42Z","cross_cats_sorted":[],"title_canon_sha256":"e17ed37946bb7de887e926b1c8a2fa7fe6d03d7ce8f3a9b1a296fc038afd24e1","abstract_canon_sha256":"570f953d68a2e9b48723262e5ea3ae5296045c27ad772459847f1e3151cf44c8"},"schema_version":"1.0"},"canonical_sha256":"2ce8ad927c99890ed7410f8e6e328d9282876ce360b18d3a3f19b5b284cc7b40","source":{"kind":"arxiv","id":"2411.08875","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.08875","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"arxiv_version","alias_value":"2411.08875v3","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.08875","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_12","alias_value":"FTUK3ET4TGEQ","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_16","alias_value":"FTUK3ET4TGEQ5V2B","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_8","alias_value":"FTUK3ET4","created_at":"2026-06-24T01:14:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FTUK3ET4TGEQ5V2BB6HG4MUNSK","target":"record","payload":{"canonical_record":{"source":{"id":"2411.08875","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T18:52:42Z","cross_cats_sorted":[],"title_canon_sha256":"e17ed37946bb7de887e926b1c8a2fa7fe6d03d7ce8f3a9b1a296fc038afd24e1","abstract_canon_sha256":"570f953d68a2e9b48723262e5ea3ae5296045c27ad772459847f1e3151cf44c8"},"schema_version":"1.0"},"canonical_sha256":"2ce8ad927c99890ed7410f8e6e328d9282876ce360b18d3a3f19b5b284cc7b40","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T01:14:55.912049Z","signature_b64":"B+yiE0utwZhi+6XnOcOe7SbnH3QllGQF1dVltUVjq17ji6q9bkuGYxvhoafzx+5x9NEWO+3U0F9at1I9mbCeCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ce8ad927c99890ed7410f8e6e328d9282876ce360b18d3a3f19b5b284cc7b40","last_reissued_at":"2026-06-24T01:14:55.911528Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T01:14:55.911528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.08875","source_version":3,"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-06-24T01:14:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q0EZ0c97jLZ8R1sRVvsWI736fDjTImvRvJXDPcpcTI+1yOzFsZtz6I541Ch6RDbAh7HpXrnyi+oq1UMWDMiNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:41:36.476586Z"},"content_sha256":"32f8b0368856b1599c4b39b1a0f67bae5f718b366245f58a66a66a66de2453cf","schema_version":"1.0","event_id":"sha256:32f8b0368856b1599c4b39b1a0f67bae5f718b366245f58a66a66a66de2453cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FTUK3ET4TGEQ5V2BB6HG4MUNSK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Causal Explanations for Image Classifiers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daniel Kroening, David A. Kelly, Hana Chockler, Youcheng Sun","submitted_at":"2024-11-13T18:52:42Z","abstract_excerpt":"Existing algorithms for explaining the output of image classifiers use different definitions of explanations and a variety of techniques to find them. However, none of the existing tools use a principled approach based on formal definitions of cause and explanation.\n  In this paper we present a novel black-box approach to computing explanations grounded in the theory of actual causality. We prove relevant theoretical results and present an algorithm for computing approximate explanations based on these definitions. We prove termination of our algorithm and discuss its complexity and the amount"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.08875","kind":"arxiv","version":3},"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/2411.08875/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-06-24T01:14:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Fc9yTXP/NliG5BfzU+nv2lkRXlDg7PVJFCUoOxeXGcuy6xVNqxS5XI3R3ZwHoTAyuyGZ9XPYiMMk5H2CrLNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:41:36.477218Z"},"content_sha256":"197fcd1e5009a5d4ff318415f176910f5a5e6d9e4fc54f9a7deaee87d5d8d9e1","schema_version":"1.0","event_id":"sha256:197fcd1e5009a5d4ff318415f176910f5a5e6d9e4fc54f9a7deaee87d5d8d9e1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/bundle.json","state_url":"https://pith.science/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/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-04T05:41:36Z","links":{"resolver":"https://pith.science/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK","bundle":"https://pith.science/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/bundle.json","state":"https://pith.science/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FTUK3ET4TGEQ5V2BB6HG4MUNSK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FTUK3ET4TGEQ5V2BB6HG4MUNSK","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":"570f953d68a2e9b48723262e5ea3ae5296045c27ad772459847f1e3151cf44c8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T18:52:42Z","title_canon_sha256":"e17ed37946bb7de887e926b1c8a2fa7fe6d03d7ce8f3a9b1a296fc038afd24e1"},"schema_version":"1.0","source":{"id":"2411.08875","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.08875","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"arxiv_version","alias_value":"2411.08875v3","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.08875","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_12","alias_value":"FTUK3ET4TGEQ","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_16","alias_value":"FTUK3ET4TGEQ5V2B","created_at":"2026-06-24T01:14:55Z"},{"alias_kind":"pith_short_8","alias_value":"FTUK3ET4","created_at":"2026-06-24T01:14:55Z"}],"graph_snapshots":[{"event_id":"sha256:197fcd1e5009a5d4ff318415f176910f5a5e6d9e4fc54f9a7deaee87d5d8d9e1","target":"graph","created_at":"2026-06-24T01:14:55Z","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/2411.08875/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Existing algorithms for explaining the output of image classifiers use different definitions of explanations and a variety of techniques to find them. However, none of the existing tools use a principled approach based on formal definitions of cause and explanation.\n  In this paper we present a novel black-box approach to computing explanations grounded in the theory of actual causality. We prove relevant theoretical results and present an algorithm for computing approximate explanations based on these definitions. We prove termination of our algorithm and discuss its complexity and the amount","authors_text":"Daniel Kroening, David A. Kelly, Hana Chockler, Youcheng Sun","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T18:52:42Z","title":"Causal Explanations for Image Classifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.08875","kind":"arxiv","version":3},"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:32f8b0368856b1599c4b39b1a0f67bae5f718b366245f58a66a66a66de2453cf","target":"record","created_at":"2026-06-24T01:14:55Z","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":"570f953d68a2e9b48723262e5ea3ae5296045c27ad772459847f1e3151cf44c8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-13T18:52:42Z","title_canon_sha256":"e17ed37946bb7de887e926b1c8a2fa7fe6d03d7ce8f3a9b1a296fc038afd24e1"},"schema_version":"1.0","source":{"id":"2411.08875","kind":"arxiv","version":3}},"canonical_sha256":"2ce8ad927c99890ed7410f8e6e328d9282876ce360b18d3a3f19b5b284cc7b40","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ce8ad927c99890ed7410f8e6e328d9282876ce360b18d3a3f19b5b284cc7b40","first_computed_at":"2026-06-24T01:14:55.911528Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T01:14:55.911528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B+yiE0utwZhi+6XnOcOe7SbnH3QllGQF1dVltUVjq17ji6q9bkuGYxvhoafzx+5x9NEWO+3U0F9at1I9mbCeCg==","signature_status":"signed_v1","signed_at":"2026-06-24T01:14:55.912049Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.08875","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32f8b0368856b1599c4b39b1a0f67bae5f718b366245f58a66a66a66de2453cf","sha256:197fcd1e5009a5d4ff318415f176910f5a5e6d9e4fc54f9a7deaee87d5d8d9e1"],"state_sha256":"755f9248fd8ddecbfc91d98272af0ec7ccd36ab8672fbca9b690c605c60e570d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BsI8cHMkFE9Rc/fsPPN7qktLg+DvqSdlPuVIT7Gw34692Wh2XCGf07opmoXCDDOZNiPhinSIzUVxnuWGGhiCDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T05:41:36.480262Z","bundle_sha256":"7ecc4cc3e97c40e8090d4a74cebeda1ee58b86119ffdafbdf12917ad0be2e05d"}}