{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:4TNAGACIJKV2KUI2PCUR2FMRHX","short_pith_number":"pith:4TNAGACI","canonical_record":{"source":{"id":"2104.06718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-14T09:22:42Z","cross_cats_sorted":["cs.LO","stat.ML"],"title_canon_sha256":"83b1e62fe5c37669a13f4c6568add8405fae6aa61792338230691f643186968b","abstract_canon_sha256":"8b50a6e43d6dde4a90de5f1344b9be52fc0b21c2c0795fb82d8d4b9298cfdb4f"},"schema_version":"1.0"},"canonical_sha256":"e4da0300484aaba5511a78a91d15913dc4fb5ee381ab9f3beae57d3092b64c99","source":{"kind":"arxiv","id":"2104.06718","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.06718","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"arxiv_version","alias_value":"2104.06718v1","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.06718","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_12","alias_value":"4TNAGACIJKV2","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"4TNAGACIJKV2KUI2","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"4TNAGACI","created_at":"2026-07-05T02:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:4TNAGACIJKV2KUI2PCUR2FMRHX","target":"record","payload":{"canonical_record":{"source":{"id":"2104.06718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-14T09:22:42Z","cross_cats_sorted":["cs.LO","stat.ML"],"title_canon_sha256":"83b1e62fe5c37669a13f4c6568add8405fae6aa61792338230691f643186968b","abstract_canon_sha256":"8b50a6e43d6dde4a90de5f1344b9be52fc0b21c2c0795fb82d8d4b9298cfdb4f"},"schema_version":"1.0"},"canonical_sha256":"e4da0300484aaba5511a78a91d15913dc4fb5ee381ab9f3beae57d3092b64c99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:32:08.732005Z","signature_b64":"aET6TvJc5GEh/07yjYjtUN0S96Q1RJQPz7EtL2jnfcZlrmWveJ+b36MUuBjChEerW5DfArzhJzhfOfsa237LCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4da0300484aaba5511a78a91d15913dc4fb5ee381ab9f3beae57d3092b64c99","last_reissued_at":"2026-07-05T02:32:08.731520Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:32:08.731520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.06718","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-05T02:32:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QGTezvjKn3DgLHN/pOQj8m1aV1s5m36o9+z50DJZtul8xjboS2ufSwexrlubUn3fBsNcPOnuTlN4mYkcAJl5Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:50:29.866907Z"},"content_sha256":"7e586309d362e7a105bd8c969c752e2c45d93e9183098a2565a9f52bb2c4f048","schema_version":"1.0","event_id":"sha256:7e586309d362e7a105bd8c969c752e2c45d93e9183098a2565a9f52bb2c4f048"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:4TNAGACIJKV2KUI2PCUR2FMRHX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Alban Desmaison, Alessandro De Palma, Krishnamurthy Dvijotham, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","submitted_at":"2021-04-14T09:22:42Z","abstract_excerpt":"We improve the scalability of Branch and Bound (BaB) algorithms for formally proving input-output properties of neural networks. First, we propose novel bounding algorithms based on Lagrangian Decomposition. Previous works have used off-the-shelf solvers to solve relaxations at each node of the BaB tree, or constructed weaker relaxations that can be solved efficiently, but lead to unnecessarily weak bounds. Our formulation restricts the optimization to a subspace of the dual domain that is guaranteed to contain the optimum, resulting in accelerated convergence. Furthermore, it allows for a mas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.06718","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/2104.06718/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-05T02:32:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KC2dPUHTvj+eniiDbU3QPuSWRorFmpC7v5kuOq/yjRhsTe4IGoGwdP5XoGBLi/bvwFuW8auC/GNN56T38PQ4BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:50:29.867426Z"},"content_sha256":"2e69e31e933c215d553bf92c4a059f6597f90ef2790f9ae14b61fefc61a2f004","schema_version":"1.0","event_id":"sha256:2e69e31e933c215d553bf92c4a059f6597f90ef2790f9ae14b61fefc61a2f004"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/bundle.json","state_url":"https://pith.science/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/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-07T23:50:29Z","links":{"resolver":"https://pith.science/pith/4TNAGACIJKV2KUI2PCUR2FMRHX","bundle":"https://pith.science/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/bundle.json","state":"https://pith.science/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4TNAGACIJKV2KUI2PCUR2FMRHX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:4TNAGACIJKV2KUI2PCUR2FMRHX","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":"8b50a6e43d6dde4a90de5f1344b9be52fc0b21c2c0795fb82d8d4b9298cfdb4f","cross_cats_sorted":["cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-14T09:22:42Z","title_canon_sha256":"83b1e62fe5c37669a13f4c6568add8405fae6aa61792338230691f643186968b"},"schema_version":"1.0","source":{"id":"2104.06718","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.06718","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"arxiv_version","alias_value":"2104.06718v1","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.06718","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_12","alias_value":"4TNAGACIJKV2","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"4TNAGACIJKV2KUI2","created_at":"2026-07-05T02:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"4TNAGACI","created_at":"2026-07-05T02:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:2e69e31e933c215d553bf92c4a059f6597f90ef2790f9ae14b61fefc61a2f004","target":"graph","created_at":"2026-07-05T02:32:08Z","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/2104.06718/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We improve the scalability of Branch and Bound (BaB) algorithms for formally proving input-output properties of neural networks. First, we propose novel bounding algorithms based on Lagrangian Decomposition. Previous works have used off-the-shelf solvers to solve relaxations at each node of the BaB tree, or constructed weaker relaxations that can be solved efficiently, but lead to unnecessarily weak bounds. Our formulation restricts the optimization to a subspace of the dual domain that is guaranteed to contain the optimum, resulting in accelerated convergence. Furthermore, it allows for a mas","authors_text":"Alban Desmaison, Alessandro De Palma, Krishnamurthy Dvijotham, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","cross_cats":["cs.LO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-14T09:22:42Z","title":"Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.06718","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:7e586309d362e7a105bd8c969c752e2c45d93e9183098a2565a9f52bb2c4f048","target":"record","created_at":"2026-07-05T02:32:08Z","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":"8b50a6e43d6dde4a90de5f1344b9be52fc0b21c2c0795fb82d8d4b9298cfdb4f","cross_cats_sorted":["cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-14T09:22:42Z","title_canon_sha256":"83b1e62fe5c37669a13f4c6568add8405fae6aa61792338230691f643186968b"},"schema_version":"1.0","source":{"id":"2104.06718","kind":"arxiv","version":1}},"canonical_sha256":"e4da0300484aaba5511a78a91d15913dc4fb5ee381ab9f3beae57d3092b64c99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4da0300484aaba5511a78a91d15913dc4fb5ee381ab9f3beae57d3092b64c99","first_computed_at":"2026-07-05T02:32:08.731520Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:32:08.731520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aET6TvJc5GEh/07yjYjtUN0S96Q1RJQPz7EtL2jnfcZlrmWveJ+b36MUuBjChEerW5DfArzhJzhfOfsa237LCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:32:08.732005Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.06718","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e586309d362e7a105bd8c969c752e2c45d93e9183098a2565a9f52bb2c4f048","sha256:2e69e31e933c215d553bf92c4a059f6597f90ef2790f9ae14b61fefc61a2f004"],"state_sha256":"4bd33e8790ad0e187e4e265a5f7ff0cca0e162666b2988415417f70795111ad2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FT1dEcXAqWcXtZDDPwm6RTNRH4rg6jKo8ZKBmrHXni1dmjSobg251gSCEXvRDc5EqEHaGwB6Zres+ITCUtmeAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T23:50:29.966188Z","bundle_sha256":"84211eda1c269333a45c55b0310cd749925a03a227706c9be8b20aaf499ba55e"}}