{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:BKVCYYZ5H4PPNBTHEEEQOMH3M4","short_pith_number":"pith:BKVCYYZ5","canonical_record":{"source":{"id":"2009.13747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-29T03:28:31Z","cross_cats_sorted":[],"title_canon_sha256":"f7770090f359a0ea457127e3a788d9dd698bb09914ddee6a680bb1af43fac5cb","abstract_canon_sha256":"8fe1c87ade64e92e10834bfb6c2164ebdfff6e0944757f6ff9c13af833f8b636"},"schema_version":"1.0"},"canonical_sha256":"0aaa2c633d3f1ef6866721090730fb670489029697cf0e010254177ae86c0b96","source":{"kind":"arxiv","id":"2009.13747","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.13747","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"2009.13747v1","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.13747","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"BKVCYYZ5H4PP","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_16","alias_value":"BKVCYYZ5H4PPNBTH","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_8","alias_value":"BKVCYYZ5","created_at":"2026-07-05T01:38:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:BKVCYYZ5H4PPNBTHEEEQOMH3M4","target":"record","payload":{"canonical_record":{"source":{"id":"2009.13747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-29T03:28:31Z","cross_cats_sorted":[],"title_canon_sha256":"f7770090f359a0ea457127e3a788d9dd698bb09914ddee6a680bb1af43fac5cb","abstract_canon_sha256":"8fe1c87ade64e92e10834bfb6c2164ebdfff6e0944757f6ff9c13af833f8b636"},"schema_version":"1.0"},"canonical_sha256":"0aaa2c633d3f1ef6866721090730fb670489029697cf0e010254177ae86c0b96","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:38:44.573056Z","signature_b64":"x6o6X3vsajcMZgGnEiVLRoQijdL2+YP0qpqcBp7y4q2XTiNB/HEnfBSY/dzl2+5i1hu7YCAdETai1mr8qdTxBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0aaa2c633d3f1ef6866721090730fb670489029697cf0e010254177ae86c0b96","last_reissued_at":"2026-07-05T01:38:44.572709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:38:44.572709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.13747","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-05T01:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wMsjEYlITB08VOe2lJ3fgrFnIQPWrQ6V/B/bW9JdWR2GPvdUrF4WIp0DVPoynfF92eprkEyKbMEm3P0e2GQ0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:17:32.670205Z"},"content_sha256":"1da7d8f4bf2f093fa0cc95ea98b4cd5a14401e305a1610c78e49e2700e6470c1","schema_version":"1.0","event_id":"sha256:1da7d8f4bf2f093fa0cc95ea98b4cd5a14401e305a1610c78e49e2700e6470c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:BKVCYYZ5H4PPNBTHEEEQOMH3M4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Slicing for Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Xiangqun Chen, Yao Guo, Yuanchun Li, Yunxin Liu, Ziqi Zhang","submitted_at":"2020-09-29T03:28:31Z","abstract_excerpt":"Program slicing has been widely applied in a variety of software engineering tasks. However, existing program slicing techniques only deal with traditional programs that are constructed with instructions and variables, rather than neural networks that are composed of neurons and synapses. In this paper, we propose NNSlicer, the first approach for slicing deep neural networks based on data flow analysis. Our method understands the reaction of each neuron to an input based on the difference between its behavior activated by the input and the average behavior over the whole dataset. Then we quant"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.13747","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/2009.13747/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-05T01:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eWKsQpZNxfWnEnfjNFXuwBb0rdNPlZnOr3pB9nR8PCqtxn+KIMxevXnmvANaeL/OSHrUIhqQJGKtrCy8t3DUBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:17:32.670731Z"},"content_sha256":"f73351e695b300d5d6003aba740806a174574c2f58385cead34a70ca9361480b","schema_version":"1.0","event_id":"sha256:f73351e695b300d5d6003aba740806a174574c2f58385cead34a70ca9361480b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/bundle.json","state_url":"https://pith.science/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/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-06T09:17:32Z","links":{"resolver":"https://pith.science/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4","bundle":"https://pith.science/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/bundle.json","state":"https://pith.science/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BKVCYYZ5H4PPNBTHEEEQOMH3M4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:BKVCYYZ5H4PPNBTHEEEQOMH3M4","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":"8fe1c87ade64e92e10834bfb6c2164ebdfff6e0944757f6ff9c13af833f8b636","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-29T03:28:31Z","title_canon_sha256":"f7770090f359a0ea457127e3a788d9dd698bb09914ddee6a680bb1af43fac5cb"},"schema_version":"1.0","source":{"id":"2009.13747","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.13747","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"2009.13747v1","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.13747","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"BKVCYYZ5H4PP","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_16","alias_value":"BKVCYYZ5H4PPNBTH","created_at":"2026-07-05T01:38:44Z"},{"alias_kind":"pith_short_8","alias_value":"BKVCYYZ5","created_at":"2026-07-05T01:38:44Z"}],"graph_snapshots":[{"event_id":"sha256:f73351e695b300d5d6003aba740806a174574c2f58385cead34a70ca9361480b","target":"graph","created_at":"2026-07-05T01:38: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/2009.13747/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program slicing has been widely applied in a variety of software engineering tasks. However, existing program slicing techniques only deal with traditional programs that are constructed with instructions and variables, rather than neural networks that are composed of neurons and synapses. In this paper, we propose NNSlicer, the first approach for slicing deep neural networks based on data flow analysis. Our method understands the reaction of each neuron to an input based on the difference between its behavior activated by the input and the average behavior over the whole dataset. Then we quant","authors_text":"Xiangqun Chen, Yao Guo, Yuanchun Li, Yunxin Liu, Ziqi Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-29T03:28:31Z","title":"Dynamic Slicing for Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.13747","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:1da7d8f4bf2f093fa0cc95ea98b4cd5a14401e305a1610c78e49e2700e6470c1","target":"record","created_at":"2026-07-05T01:38: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":"8fe1c87ade64e92e10834bfb6c2164ebdfff6e0944757f6ff9c13af833f8b636","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-29T03:28:31Z","title_canon_sha256":"f7770090f359a0ea457127e3a788d9dd698bb09914ddee6a680bb1af43fac5cb"},"schema_version":"1.0","source":{"id":"2009.13747","kind":"arxiv","version":1}},"canonical_sha256":"0aaa2c633d3f1ef6866721090730fb670489029697cf0e010254177ae86c0b96","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0aaa2c633d3f1ef6866721090730fb670489029697cf0e010254177ae86c0b96","first_computed_at":"2026-07-05T01:38:44.572709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:38:44.572709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x6o6X3vsajcMZgGnEiVLRoQijdL2+YP0qpqcBp7y4q2XTiNB/HEnfBSY/dzl2+5i1hu7YCAdETai1mr8qdTxBw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:38:44.573056Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.13747","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1da7d8f4bf2f093fa0cc95ea98b4cd5a14401e305a1610c78e49e2700e6470c1","sha256:f73351e695b300d5d6003aba740806a174574c2f58385cead34a70ca9361480b"],"state_sha256":"727f0347149ce37112934572504ceca8e15eafb8736f389188e449a035ff6820"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xGCuvdNZzC+kZiFz4gEjikI+/Kea2BQqjpaZPqY9CGZW/Hx82Oyrx3EmDklUGzx+M9RPni2B1n3NeMU93CtUAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:17:32.675505Z","bundle_sha256":"65420bc446bacddf038fbbfbe08487945fc4526ddc1f86e8b362af8dedf86855"}}