{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GYILWM3JUXYBM76ZDW2DYFQCFZ","short_pith_number":"pith:GYILWM3J","canonical_record":{"source":{"id":"2506.04268","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-03T12:42:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"280361383e9a0e201c0872009c9e4553b4b43c71f5115858582680e11698a32d","abstract_canon_sha256":"a8f209dbc636b24df70646c48184e00b7545bb7bd05bf6b82f8c395132ce101d"},"schema_version":"1.0"},"canonical_sha256":"3610bb3369a5f0167fd91db43c16022e666402d425f196ad3c9b813e8096382b","source":{"kind":"arxiv","id":"2506.04268","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04268","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04268v1","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04268","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"GYILWM3JUXYB","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"GYILWM3JUXYBM76Z","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"GYILWM3J","created_at":"2026-07-05T11:16:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GYILWM3JUXYBM76ZDW2DYFQCFZ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.04268","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-03T12:42:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"280361383e9a0e201c0872009c9e4553b4b43c71f5115858582680e11698a32d","abstract_canon_sha256":"a8f209dbc636b24df70646c48184e00b7545bb7bd05bf6b82f8c395132ce101d"},"schema_version":"1.0"},"canonical_sha256":"3610bb3369a5f0167fd91db43c16022e666402d425f196ad3c9b813e8096382b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:16:11.306136Z","signature_b64":"cE+ccjhBf1altr/e75lxMUxGwTQg7mr2b0c5Up5k9V/E7vTP8VfA8wjUzoV1rd+wCYIUqVTA9UoM4TdzENiTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3610bb3369a5f0167fd91db43c16022e666402d425f196ad3c9b813e8096382b","last_reissued_at":"2026-07-05T11:16:11.305648Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:16:11.305648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.04268","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-05T11:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S65iXw829dKtV2N2u4HxzsHmfeUnvggLj6N//sUo4FnJgNBwIDrqr99Ps6KNUULC1cW5/eGOcOu66yOqOU9SCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:26:06.098327Z"},"content_sha256":"40c29cce4680f49df77b7cd009179597b25ef15f9f4453b2a34789c2f02b5d80","schema_version":"1.0","event_id":"sha256:40c29cce4680f49df77b7cd009179597b25ef15f9f4453b2a34789c2f02b5d80"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GYILWM3JUXYBM76ZDW2DYFQCFZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Guoqiang Li, Jingyang Li","submitted_at":"2025-06-03T12:42:15Z","abstract_excerpt":"The rapid development of deep learning has led to challenges in deploying neural networks on edge devices, mainly due to their high memory and runtime complexity. Network compression techniques, such as quantization and pruning, aim to reduce this complexity while maintaining accuracy. However, existing incremental verification methods often focus only on quantization and struggle with structural changes. This paper presents MUC-G4 (Minimal Unsat Core-Guided Incremental Verification), a novel framework for incremental verification of compressed deep neural networks. It encodes both the origina"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04268","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/2506.04268/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-05T11:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vA+k8hY9LsrYkcAaEaSNpvauu2k03gNHrG0X2ZikEbwkxOMT71D5Y/k6RZdEMjKt7RL4/E14xxtbv6MzAdgjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:26:06.098866Z"},"content_sha256":"0242f4c60c4f8f179ba5dab5fb330885083eb142695cfeb8d8a0982c182e0b46","schema_version":"1.0","event_id":"sha256:0242f4c60c4f8f179ba5dab5fb330885083eb142695cfeb8d8a0982c182e0b46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/bundle.json","state_url":"https://pith.science/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/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-06T15:26:06Z","links":{"resolver":"https://pith.science/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ","bundle":"https://pith.science/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/bundle.json","state":"https://pith.science/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GYILWM3JUXYBM76ZDW2DYFQCFZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GYILWM3JUXYBM76ZDW2DYFQCFZ","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":"a8f209dbc636b24df70646c48184e00b7545bb7bd05bf6b82f8c395132ce101d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-03T12:42:15Z","title_canon_sha256":"280361383e9a0e201c0872009c9e4553b4b43c71f5115858582680e11698a32d"},"schema_version":"1.0","source":{"id":"2506.04268","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04268","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04268v1","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04268","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"GYILWM3JUXYB","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"GYILWM3JUXYBM76Z","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"GYILWM3J","created_at":"2026-07-05T11:16:11Z"}],"graph_snapshots":[{"event_id":"sha256:0242f4c60c4f8f179ba5dab5fb330885083eb142695cfeb8d8a0982c182e0b46","target":"graph","created_at":"2026-07-05T11:16:11Z","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/2506.04268/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid development of deep learning has led to challenges in deploying neural networks on edge devices, mainly due to their high memory and runtime complexity. Network compression techniques, such as quantization and pruning, aim to reduce this complexity while maintaining accuracy. However, existing incremental verification methods often focus only on quantization and struggle with structural changes. This paper presents MUC-G4 (Minimal Unsat Core-Guided Incremental Verification), a novel framework for incremental verification of compressed deep neural networks. It encodes both the origina","authors_text":"Guoqiang Li, Jingyang Li","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04268","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:40c29cce4680f49df77b7cd009179597b25ef15f9f4453b2a34789c2f02b5d80","target":"record","created_at":"2026-07-05T11:16:11Z","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":"a8f209dbc636b24df70646c48184e00b7545bb7bd05bf6b82f8c395132ce101d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-03T12:42:15Z","title_canon_sha256":"280361383e9a0e201c0872009c9e4553b4b43c71f5115858582680e11698a32d"},"schema_version":"1.0","source":{"id":"2506.04268","kind":"arxiv","version":1}},"canonical_sha256":"3610bb3369a5f0167fd91db43c16022e666402d425f196ad3c9b813e8096382b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3610bb3369a5f0167fd91db43c16022e666402d425f196ad3c9b813e8096382b","first_computed_at":"2026-07-05T11:16:11.305648Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:16:11.305648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cE+ccjhBf1altr/e75lxMUxGwTQg7mr2b0c5Up5k9V/E7vTP8VfA8wjUzoV1rd+wCYIUqVTA9UoM4TdzENiTBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:16:11.306136Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.04268","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40c29cce4680f49df77b7cd009179597b25ef15f9f4453b2a34789c2f02b5d80","sha256:0242f4c60c4f8f179ba5dab5fb330885083eb142695cfeb8d8a0982c182e0b46"],"state_sha256":"0cfe07b946da06307c774943235323e67ba5111e989ee43bfdaefe99ea13feba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gCS4PZN1YI9bEcIvyZ57/hlhGR5pvUMzXMBOU/hiubqYhvc2XqSXTDTPZiU2ccgr1obZEecNZqE/lz5rBBheDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T15:26:06.104780Z","bundle_sha256":"f8bcc743d28985f8d78e04c96da4a2336beb531905f8fec401a257e3875d1e55"}}