{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:GS6V2ZXW6BWKCPJHQMSB5S7TES","short_pith_number":"pith:GS6V2ZXW","schema_version":"1.0","canonical_sha256":"34bd5d66f6f06ca13d2783241ecbf324bef651b47c82d1b904ebbedaacf24cd1","source":{"kind":"arxiv","id":"2506.11992","version":1},"attestation_state":"computed","paper":{"title":"Compression Aware Certified Training","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Changming Xu, Gagandeep Singh","submitted_at":"2025-06-13T17:48:50Z","abstract_excerpt":"Deep neural networks deployed in safety-critical, resource-constrained environments must balance efficiency and robustness. Existing methods treat compression and certified robustness as separate goals, compromising either efficiency or safety. We propose CACTUS (Compression Aware Certified Training Using network Sets), a general framework for unifying these objectives during training. CACTUS models maintain high certified accuracy even when compressed. We apply CACTUS for both pruning and quantization and show that it effectively trains models which can be efficiently compressed while maintai"},"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":"2506.11992","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-13T17:48:50Z","cross_cats_sorted":[],"title_canon_sha256":"a92b25ad4547732e0e0add694712116ae06c7c70091637b691b88b84d2d7e83b","abstract_canon_sha256":"294523cecc4504db3edabcae853b21f42b3eb1655b3f180c15e643ad7b014d29"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:13.971435Z","signature_b64":"7/yySl4iatZblzsllanCDHcheMJoQMru16FrxcZ2rugzBZhnCDqpduyfSlDdJSYr0akXkfCRXEYWgsiHGeFxDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34bd5d66f6f06ca13d2783241ecbf324bef651b47c82d1b904ebbedaacf24cd1","last_reissued_at":"2026-07-05T11:21:13.970996Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:13.970996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compression Aware Certified Training","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Changming Xu, Gagandeep Singh","submitted_at":"2025-06-13T17:48:50Z","abstract_excerpt":"Deep neural networks deployed in safety-critical, resource-constrained environments must balance efficiency and robustness. Existing methods treat compression and certified robustness as separate goals, compromising either efficiency or safety. We propose CACTUS (Compression Aware Certified Training Using network Sets), a general framework for unifying these objectives during training. CACTUS models maintain high certified accuracy even when compressed. We apply CACTUS for both pruning and quantization and show that it effectively trains models which can be efficiently compressed while maintai"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.11992","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.11992/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":"2506.11992","created_at":"2026-07-05T11:21:13.971049+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.11992v1","created_at":"2026-07-05T11:21:13.971049+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.11992","created_at":"2026-07-05T11:21:13.971049+00:00"},{"alias_kind":"pith_short_12","alias_value":"GS6V2ZXW6BWK","created_at":"2026-07-05T11:21:13.971049+00:00"},{"alias_kind":"pith_short_16","alias_value":"GS6V2ZXW6BWKCPJH","created_at":"2026-07-05T11:21:13.971049+00:00"},{"alias_kind":"pith_short_8","alias_value":"GS6V2ZXW","created_at":"2026-07-05T11:21:13.971049+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/GS6V2ZXW6BWKCPJHQMSB5S7TES","json":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES.json","graph_json":"https://pith.science/api/pith-number/GS6V2ZXW6BWKCPJHQMSB5S7TES/graph.json","events_json":"https://pith.science/api/pith-number/GS6V2ZXW6BWKCPJHQMSB5S7TES/events.json","paper":"https://pith.science/paper/GS6V2ZXW"},"agent_actions":{"view_html":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES","download_json":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES.json","view_paper":"https://pith.science/paper/GS6V2ZXW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.11992&json=true","fetch_graph":"https://pith.science/api/pith-number/GS6V2ZXW6BWKCPJHQMSB5S7TES/graph.json","fetch_events":"https://pith.science/api/pith-number/GS6V2ZXW6BWKCPJHQMSB5S7TES/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES/action/storage_attestation","attest_author":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES/action/author_attestation","sign_citation":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES/action/citation_signature","submit_replication":"https://pith.science/pith/GS6V2ZXW6BWKCPJHQMSB5S7TES/action/replication_record"}},"created_at":"2026-07-05T11:21:13.971049+00:00","updated_at":"2026-07-05T11:21:13.971049+00:00"}