{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:SXH36JBVRPRM3LTMWB7GYBBOIY","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":"147ab5aa18cc891af4bdcff03bd9b7ac9fbaeb096b4fcbf148725bf17fac1480","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-05-04T08:15:56Z","title_canon_sha256":"17e59f00f4a88e0ab1ed9be6ab9589ff520808084125e3b13737db295564f735"},"schema_version":"1.0","source":{"id":"2205.01938","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01938","created_at":"2026-07-05T04:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01938v1","created_at":"2026-07-05T04:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01938","created_at":"2026-07-05T04:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"SXH36JBVRPRM","created_at":"2026-07-05T04:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"SXH36JBVRPRM3LTM","created_at":"2026-07-05T04:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"SXH36JBV","created_at":"2026-07-05T04:20:23Z"}],"graph_snapshots":[{"event_id":"sha256:96079545eb96f49095801ee89e9ece7d0028b8bd02296f1e6ea8eeef109e5e98","target":"graph","created_at":"2026-07-05T04:20:23Z","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/2205.01938/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As Deep Learning (DL) systems are widely deployed for mission-critical applications, debugging such systems becomes essential. Most existing works identify and repair suspicious neurons on the trained Deep Neural Network (DNN), which, unfortunately, might be a detour. Specifically, several existing studies have reported that many unsatisfactory behaviors are actually originated from the faults residing in DL programs. Besides, locating faulty neurons is not actionable for developers, while locating the faulty statements in DL programs can provide developers with more useful information for deb","authors_text":"Bo Wu, Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung, Xiao Chen, Yongqiang Tian","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-05-04T08:15:56Z","title":"DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01938","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:239f4ea9c802dea91da8cdd013f2509f4f9bbbe878ae7064c6b733fa11958962","target":"record","created_at":"2026-07-05T04:20:23Z","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":"147ab5aa18cc891af4bdcff03bd9b7ac9fbaeb096b4fcbf148725bf17fac1480","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-05-04T08:15:56Z","title_canon_sha256":"17e59f00f4a88e0ab1ed9be6ab9589ff520808084125e3b13737db295564f735"},"schema_version":"1.0","source":{"id":"2205.01938","kind":"arxiv","version":1}},"canonical_sha256":"95cfbf24358be2cdae6cb07e6c042e463ca2e55bea591435cf26266c4a4e2f39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95cfbf24358be2cdae6cb07e6c042e463ca2e55bea591435cf26266c4a4e2f39","first_computed_at":"2026-07-05T04:20:23.804547Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:20:23.804547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CMA+iOkR/ErbNQIcHAVyJelpfpp/DVYSs2T+PKrvyrU2HtfUqoaZW2uHWnE3Fu8OGefgS07hs1r2Dd0IT5ajCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:20:23.804927Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.01938","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:239f4ea9c802dea91da8cdd013f2509f4f9bbbe878ae7064c6b733fa11958962","sha256:96079545eb96f49095801ee89e9ece7d0028b8bd02296f1e6ea8eeef109e5e98"],"state_sha256":"f7bd46836c23bd5a966c45923f4c4ffccc7d14588ab048a02f6afc45905d95c9"}