{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:Q2WJOCTGKTRLDUUSYIQZUMEGKJ","short_pith_number":"pith:Q2WJOCTG","schema_version":"1.0","canonical_sha256":"86ac970a6654e2b1d292c2219a3086524dc72a69818f630d0aced2a143ae6e5a","source":{"kind":"arxiv","id":"1908.02374","version":2},"attestation_state":"computed","paper":{"title":"Explaining Image Classifiers using Statistical Fault Localization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Daniel Kroening, Hana Chockler, Xiaowei Huang, Youcheng Sun","submitted_at":"2019-08-06T21:44:48Z","abstract_excerpt":"The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for \"Explainable AI\". In this paper, we show that statistical fault localization (SFL) techniques from software engineering deliver high quality explanations of the outputs of DNNs, where we define an explanation as a minimal subset of features sufficient for making the same decision as for the original input. We present an algorithm and a tool called DeepCover, which synthesizes a ranking of the features of the inputs using SFL and constructs explanations "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1908.02374","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-08-06T21:44:48Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9699f6d17ec8367c80f058f2cb41f4dd34a20e4c68b8d2613f72f3baace649d5","abstract_canon_sha256":"6b60a6783f8788c8076a0e77b324ddd224b522a73e92c767bcc08bcacb3db4b5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:20:04.692969Z","signature_b64":"pc/qhBKsz0or+PYyCxJGyRAtVfR58tqIbS9l1P08wbRpeED7FxY3N7hkZDXGHJHk1JWpX3cxv/ySnLhLDENADw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86ac970a6654e2b1d292c2219a3086524dc72a69818f630d0aced2a143ae6e5a","last_reissued_at":"2026-07-05T01:20:04.692488Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:20:04.692488Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Explaining Image Classifiers using Statistical Fault Localization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Daniel Kroening, Hana Chockler, Xiaowei Huang, Youcheng Sun","submitted_at":"2019-08-06T21:44:48Z","abstract_excerpt":"The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for \"Explainable AI\". In this paper, we show that statistical fault localization (SFL) techniques from software engineering deliver high quality explanations of the outputs of DNNs, where we define an explanation as a minimal subset of features sufficient for making the same decision as for the original input. We present an algorithm and a tool called DeepCover, which synthesizes a ranking of the features of the inputs using SFL and constructs explanations "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02374","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/1908.02374/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1908.02374","created_at":"2026-07-05T01:20:04.692554+00:00"},{"alias_kind":"arxiv_version","alias_value":"1908.02374v2","created_at":"2026-07-05T01:20:04.692554+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02374","created_at":"2026-07-05T01:20:04.692554+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q2WJOCTGKTRL","created_at":"2026-07-05T01:20:04.692554+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q2WJOCTGKTRLDUUS","created_at":"2026-07-05T01:20:04.692554+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q2WJOCTG","created_at":"2026-07-05T01:20:04.692554+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ","json":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ.json","graph_json":"https://pith.science/api/pith-number/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/graph.json","events_json":"https://pith.science/api/pith-number/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/events.json","paper":"https://pith.science/paper/Q2WJOCTG"},"agent_actions":{"view_html":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ","download_json":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ.json","view_paper":"https://pith.science/paper/Q2WJOCTG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1908.02374&json=true","fetch_graph":"https://pith.science/api/pith-number/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/graph.json","fetch_events":"https://pith.science/api/pith-number/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/action/storage_attestation","attest_author":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/action/author_attestation","sign_citation":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/action/citation_signature","submit_replication":"https://pith.science/pith/Q2WJOCTGKTRLDUUSYIQZUMEGKJ/action/replication_record"}},"created_at":"2026-07-05T01:20:04.692554+00:00","updated_at":"2026-07-05T01:20:04.692554+00:00"}