{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:JDUQSVIZF4TRKBOYWT4NLZEU7S","short_pith_number":"pith:JDUQSVIZ","canonical_record":{"source":{"id":"2103.06624","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-11T11:56:54Z","cross_cats_sorted":["cs.AI","cs.CR","stat.ML"],"title_canon_sha256":"264466da32b25145b2d3d6799f331853edf06b29a6d3d02121bce5c274e6817a","abstract_canon_sha256":"e8d5d6d5fce6989573ac0e8a92324a3980ccae8020c9739f958fadfc7c7b729c"},"schema_version":"1.0"},"canonical_sha256":"48e90955192f271505d8b4f8d5e494fc9b813fdf1bc94db174ee526ada929840","source":{"kind":"arxiv","id":"2103.06624","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.06624","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"arxiv_version","alias_value":"2103.06624v2","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.06624","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_12","alias_value":"JDUQSVIZF4TR","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_16","alias_value":"JDUQSVIZF4TRKBOY","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_8","alias_value":"JDUQSVIZ","created_at":"2026-07-05T03:27:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:JDUQSVIZF4TRKBOYWT4NLZEU7S","target":"record","payload":{"canonical_record":{"source":{"id":"2103.06624","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-11T11:56:54Z","cross_cats_sorted":["cs.AI","cs.CR","stat.ML"],"title_canon_sha256":"264466da32b25145b2d3d6799f331853edf06b29a6d3d02121bce5c274e6817a","abstract_canon_sha256":"e8d5d6d5fce6989573ac0e8a92324a3980ccae8020c9739f958fadfc7c7b729c"},"schema_version":"1.0"},"canonical_sha256":"48e90955192f271505d8b4f8d5e494fc9b813fdf1bc94db174ee526ada929840","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:27:29.829084Z","signature_b64":"OMoVHgGT8dWMc3PobgUjijFoL/NOsr6YlVJoX0yRKBbdW3WvsS/5Bj60Kb/d0Z8LC8x7+VigXexRHou2ySZGDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48e90955192f271505d8b4f8d5e494fc9b813fdf1bc94db174ee526ada929840","last_reissued_at":"2026-07-05T03:27:29.828637Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:27:29.828637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.06624","source_version":2,"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-05T03:27:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QsYHhWM/ych8vlAu5h0KExoRpxFiIEBl1BMRWr8ahBNWNcPQs/K5Doq/Y9XunC6cC6s8hdTWuWsmWQmBhUVOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:17:56.305985Z"},"content_sha256":"cf4e2c65ecb04ea8a2f695e03fce80d70774c3894986e5a84deee8684d50a19f","schema_version":"1.0","event_id":"sha256:cf4e2c65ecb04ea8a2f695e03fce80d70774c3894986e5a84deee8684d50a19f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:JDUQSVIZF4TRKBOYWT4NLZEU7S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR","stat.ML"],"primary_cat":"cs.LG","authors_text":"Cho-Jui Hsieh, Huan Zhang, J. Zico Kolter, Kaidi Xu, Shiqi Wang, Suman Jana, Xue Lin","submitted_at":"2021-03-11T11:56:54Z","abstract_excerpt":"Bound propagation based incomplete neural network verifiers such as CROWN are very efficient and can significantly accelerate branch-and-bound (BaB) based complete verification of neural networks. However, bound propagation cannot fully handle the neuron split constraints introduced by BaB commonly handled by expensive linear programming (LP) solvers, leading to loose bounds and hurting verification efficiency. In this work, we develop $\\beta$-CROWN, a new bound propagation based method that can fully encode neuron splits via optimizable parameters $\\beta$ constructed from either primal or dua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.06624","kind":"arxiv","version":2},"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/2103.06624/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-05T03:27:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/AqV1m5xbOQnrizagCJB3bgiu9SMAR3SZtEI2Dp3gamIPwhPE9JygWehMVpfZD7CvjETCBQUzfB1W/dzpvAAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:17:56.306775Z"},"content_sha256":"0ea0d5d79771087eacb3cb25ec589fb8ab0d5cff548215d9b6f55323d8b06cd2","schema_version":"1.0","event_id":"sha256:0ea0d5d79771087eacb3cb25ec589fb8ab0d5cff548215d9b6f55323d8b06cd2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/bundle.json","state_url":"https://pith.science/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/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-09T17:17:56Z","links":{"resolver":"https://pith.science/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S","bundle":"https://pith.science/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/bundle.json","state":"https://pith.science/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JDUQSVIZF4TRKBOYWT4NLZEU7S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:JDUQSVIZF4TRKBOYWT4NLZEU7S","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":"e8d5d6d5fce6989573ac0e8a92324a3980ccae8020c9739f958fadfc7c7b729c","cross_cats_sorted":["cs.AI","cs.CR","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-11T11:56:54Z","title_canon_sha256":"264466da32b25145b2d3d6799f331853edf06b29a6d3d02121bce5c274e6817a"},"schema_version":"1.0","source":{"id":"2103.06624","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.06624","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"arxiv_version","alias_value":"2103.06624v2","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.06624","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_12","alias_value":"JDUQSVIZF4TR","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_16","alias_value":"JDUQSVIZF4TRKBOY","created_at":"2026-07-05T03:27:29Z"},{"alias_kind":"pith_short_8","alias_value":"JDUQSVIZ","created_at":"2026-07-05T03:27:29Z"}],"graph_snapshots":[{"event_id":"sha256:0ea0d5d79771087eacb3cb25ec589fb8ab0d5cff548215d9b6f55323d8b06cd2","target":"graph","created_at":"2026-07-05T03:27:29Z","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/2103.06624/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bound propagation based incomplete neural network verifiers such as CROWN are very efficient and can significantly accelerate branch-and-bound (BaB) based complete verification of neural networks. However, bound propagation cannot fully handle the neuron split constraints introduced by BaB commonly handled by expensive linear programming (LP) solvers, leading to loose bounds and hurting verification efficiency. In this work, we develop $\\beta$-CROWN, a new bound propagation based method that can fully encode neuron splits via optimizable parameters $\\beta$ constructed from either primal or dua","authors_text":"Cho-Jui Hsieh, Huan Zhang, J. Zico Kolter, Kaidi Xu, Shiqi Wang, Suman Jana, Xue Lin","cross_cats":["cs.AI","cs.CR","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.06624","kind":"arxiv","version":2},"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:cf4e2c65ecb04ea8a2f695e03fce80d70774c3894986e5a84deee8684d50a19f","target":"record","created_at":"2026-07-05T03:27:29Z","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":"e8d5d6d5fce6989573ac0e8a92324a3980ccae8020c9739f958fadfc7c7b729c","cross_cats_sorted":["cs.AI","cs.CR","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-11T11:56:54Z","title_canon_sha256":"264466da32b25145b2d3d6799f331853edf06b29a6d3d02121bce5c274e6817a"},"schema_version":"1.0","source":{"id":"2103.06624","kind":"arxiv","version":2}},"canonical_sha256":"48e90955192f271505d8b4f8d5e494fc9b813fdf1bc94db174ee526ada929840","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48e90955192f271505d8b4f8d5e494fc9b813fdf1bc94db174ee526ada929840","first_computed_at":"2026-07-05T03:27:29.828637Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:27:29.828637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OMoVHgGT8dWMc3PobgUjijFoL/NOsr6YlVJoX0yRKBbdW3WvsS/5Bj60Kb/d0Z8LC8x7+VigXexRHou2ySZGDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:27:29.829084Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.06624","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf4e2c65ecb04ea8a2f695e03fce80d70774c3894986e5a84deee8684d50a19f","sha256:0ea0d5d79771087eacb3cb25ec589fb8ab0d5cff548215d9b6f55323d8b06cd2"],"state_sha256":"4c4bfcc1d8c65180272433e96e6cbf57fba4d5f5d2e63b0768a70548b4dfdf2a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n0Htjhnjqj/C0wZ4YEqHMm3u1OINHTvV/1qqGnXs89edUd00+0HCg0zm1q5sJUrVB2nO5exnH1BotulImxcQCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T17:17:56.314443Z","bundle_sha256":"c734c4aa4c4f3ac730b9cdc91509c9466b2e948b0c81efe3784dc58fd24b3308"}}