{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:KYG4ILWOV3ZBHOHFNMYVBJJLDM","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":"559991948dfb3f4768ea90e2a03f97f6777af81eed7b07d5f24d619f2eb63488","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-03-03T21:03:11Z","title_canon_sha256":"2f6546ddd7ac225a3546488a3f61d769332aa75e0f2414bd5b4fa7b232bdfda0"},"schema_version":"1.0","source":{"id":"2003.01794","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2003.01794","created_at":"2026-07-05T01:43:55Z"},{"alias_kind":"arxiv_version","alias_value":"2003.01794v3","created_at":"2026-07-05T01:43:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.01794","created_at":"2026-07-05T01:43:55Z"},{"alias_kind":"pith_short_12","alias_value":"KYG4ILWOV3ZB","created_at":"2026-07-05T01:43:55Z"},{"alias_kind":"pith_short_16","alias_value":"KYG4ILWOV3ZBHOHF","created_at":"2026-07-05T01:43:55Z"},{"alias_kind":"pith_short_8","alias_value":"KYG4ILWO","created_at":"2026-07-05T01:43:55Z"}],"graph_snapshots":[{"event_id":"sha256:70f729d23debc708960a10c621a57e3943fe38932be8935740cafb8f821f0497","target":"graph","created_at":"2026-07-05T01:43: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/2003.01794/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent empirical works show that large deep neural networks are often highly redundant and one can find much smaller subnetworks without a significant drop of accuracy. However, most existing methods of network pruning are empirical and heuristic, leaving it open whether good subnetworks provably exist, how to find them efficiently, and if network pruning can be provably better than direct training using gradient descent. We answer these problems positively by proposing a simple greedy selection approach for finding good subnetworks, which starts from an empty network and greedily adds importa","authors_text":"Adam Klivans, Chengyue Gong, Denny Zhou, Lizhen Nie, Mao Ye, Qiang Liu","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-03-03T21:03:11Z","title":"Good Subnetworks Provably Exist: Pruning via Greedy Forward Selection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.01794","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:d9f0c9773112ccef1072694fe1dffb92d021a5dc2ead8b1c3dfeeeb22d0d5f12","target":"record","created_at":"2026-07-05T01:43: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":"559991948dfb3f4768ea90e2a03f97f6777af81eed7b07d5f24d619f2eb63488","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-03-03T21:03:11Z","title_canon_sha256":"2f6546ddd7ac225a3546488a3f61d769332aa75e0f2414bd5b4fa7b232bdfda0"},"schema_version":"1.0","source":{"id":"2003.01794","kind":"arxiv","version":3}},"canonical_sha256":"560dc42eceaef213b8e56b3150a52b1b36d24e4aeabc9cf9d0f43c3738d33530","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"560dc42eceaef213b8e56b3150a52b1b36d24e4aeabc9cf9d0f43c3738d33530","first_computed_at":"2026-07-05T01:43:55.779824Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:43:55.779824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i0oBNN8eEAliAzQE/JIZUWYp5INlUY2FRTRjgyL4jQ6I+QzRdzyQuW00VzAVMVGMerkyUT1+TZg5OKwENqX2AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:43:55.780281Z","signed_message":"canonical_sha256_bytes"},"source_id":"2003.01794","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9f0c9773112ccef1072694fe1dffb92d021a5dc2ead8b1c3dfeeeb22d0d5f12","sha256:70f729d23debc708960a10c621a57e3943fe38932be8935740cafb8f821f0497"],"state_sha256":"5e869fff36c67d1bf7d769c7a37af1f6f8da9b9942b9048ef61c43a02074de3b"}