{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:O25YTLLU4GMAP3USSJ7NVYMBNN","short_pith_number":"pith:O25YTLLU","canonical_record":{"source":{"id":"2606.07403","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-05T15:47:08Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"5c5ec22b33390df689a7b098d32655fca525644b0cf80dc3a8e916232ea2dd5c","abstract_canon_sha256":"7ad7fd70e0c20578e6fa0c09a98df7142d76fd15325c051c22ed7e9163fcce5d"},"schema_version":"1.0"},"canonical_sha256":"76bb89ad74e19807ee92927edae1816b7094168926f8799785f7231c53b18c0d","source":{"kind":"arxiv","id":"2606.07403","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07403","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07403v1","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07403","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_12","alias_value":"O25YTLLU4GMA","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_16","alias_value":"O25YTLLU4GMAP3US","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_8","alias_value":"O25YTLLU","created_at":"2026-06-08T01:05:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:O25YTLLU4GMAP3USSJ7NVYMBNN","target":"record","payload":{"canonical_record":{"source":{"id":"2606.07403","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-05T15:47:08Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"5c5ec22b33390df689a7b098d32655fca525644b0cf80dc3a8e916232ea2dd5c","abstract_canon_sha256":"7ad7fd70e0c20578e6fa0c09a98df7142d76fd15325c051c22ed7e9163fcce5d"},"schema_version":"1.0"},"canonical_sha256":"76bb89ad74e19807ee92927edae1816b7094168926f8799785f7231c53b18c0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:05:25.123167Z","signature_b64":"YLPVXZb+9SMBDX7PSMj80CCNfsgra/DRHfJ5y5V4pGoaTu7O1utVS93XShk/0WqjNzg/otHoErHVQZjhD8pVBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76bb89ad74e19807ee92927edae1816b7094168926f8799785f7231c53b18c0d","last_reissued_at":"2026-06-08T01:05:25.122306Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:05:25.122306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.07403","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-06-08T01:05:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YKfb3ZW1vS9Zl61Q4qxN2qqm3mcJSp1xPhiiSq/Y29T6+0aiFUS+2LgMjByTc5lvwtPl8rROPejBpDQTcrD+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T06:45:48.741843Z"},"content_sha256":"661fcd5ebb863e88a4ad4c3d6bb53f94bfb2e92fc77b875d8b284d3111a28e9e","schema_version":"1.0","event_id":"sha256:661fcd5ebb863e88a4ad4c3d6bb53f94bfb2e92fc77b875d8b284d3111a28e9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:O25YTLLU4GMAP3USSJ7NVYMBNN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Proxy Benders Decomposition","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Changkun Guan, El Mehdi Er Raqabi, Mathieu Tanneau, Pascal Van Hentenryck","submitted_at":"2026-06-05T15:47:08Z","abstract_excerpt":"Benders decomposition is a fundamental framework for solving large-scale mixed-integer optimization problems with complicating variables that, when fixed, yield significantly easier subproblems. However, classical Benders decomposition repeatedly solves highly similar subproblems and often exhibits zigzagging behavior across iterations, leading to slow convergence in large-scale settings. Motivated by the repetitive structure and parametric nature of Benders subproblems, this paper introduces the proxy Benders decomposition (Proxy-BD), a new decomposition framework in which subproblem optimiza"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07403","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/2606.07403/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-06-08T01:05:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WXaRYgCZ5gt+LpYz/OilpSwIeFHn3Ic2CCWfjK++NsbOVAkxYw30sGgCa0FbJLCjnJvSD/UUDxsnX8/rJnamDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T06:45:48.742347Z"},"content_sha256":"517945bf967313113c47e07363b9e22a27b59537af0b9242c9032e8d6d0f363b","schema_version":"1.0","event_id":"sha256:517945bf967313113c47e07363b9e22a27b59537af0b9242c9032e8d6d0f363b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/bundle.json","state_url":"https://pith.science/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/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-06-30T06:45:48Z","links":{"resolver":"https://pith.science/pith/O25YTLLU4GMAP3USSJ7NVYMBNN","bundle":"https://pith.science/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/bundle.json","state":"https://pith.science/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O25YTLLU4GMAP3USSJ7NVYMBNN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:O25YTLLU4GMAP3USSJ7NVYMBNN","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":"7ad7fd70e0c20578e6fa0c09a98df7142d76fd15325c051c22ed7e9163fcce5d","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-05T15:47:08Z","title_canon_sha256":"5c5ec22b33390df689a7b098d32655fca525644b0cf80dc3a8e916232ea2dd5c"},"schema_version":"1.0","source":{"id":"2606.07403","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07403","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07403v1","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07403","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_12","alias_value":"O25YTLLU4GMA","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_16","alias_value":"O25YTLLU4GMAP3US","created_at":"2026-06-08T01:05:25Z"},{"alias_kind":"pith_short_8","alias_value":"O25YTLLU","created_at":"2026-06-08T01:05:25Z"}],"graph_snapshots":[{"event_id":"sha256:517945bf967313113c47e07363b9e22a27b59537af0b9242c9032e8d6d0f363b","target":"graph","created_at":"2026-06-08T01:05:25Z","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/2606.07403/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Benders decomposition is a fundamental framework for solving large-scale mixed-integer optimization problems with complicating variables that, when fixed, yield significantly easier subproblems. However, classical Benders decomposition repeatedly solves highly similar subproblems and often exhibits zigzagging behavior across iterations, leading to slow convergence in large-scale settings. Motivated by the repetitive structure and parametric nature of Benders subproblems, this paper introduces the proxy Benders decomposition (Proxy-BD), a new decomposition framework in which subproblem optimiza","authors_text":"Changkun Guan, El Mehdi Er Raqabi, Mathieu Tanneau, Pascal Van Hentenryck","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-05T15:47:08Z","title":"The Proxy Benders Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07403","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:661fcd5ebb863e88a4ad4c3d6bb53f94bfb2e92fc77b875d8b284d3111a28e9e","target":"record","created_at":"2026-06-08T01:05:25Z","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":"7ad7fd70e0c20578e6fa0c09a98df7142d76fd15325c051c22ed7e9163fcce5d","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-05T15:47:08Z","title_canon_sha256":"5c5ec22b33390df689a7b098d32655fca525644b0cf80dc3a8e916232ea2dd5c"},"schema_version":"1.0","source":{"id":"2606.07403","kind":"arxiv","version":1}},"canonical_sha256":"76bb89ad74e19807ee92927edae1816b7094168926f8799785f7231c53b18c0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76bb89ad74e19807ee92927edae1816b7094168926f8799785f7231c53b18c0d","first_computed_at":"2026-06-08T01:05:25.122306Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-08T01:05:25.122306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YLPVXZb+9SMBDX7PSMj80CCNfsgra/DRHfJ5y5V4pGoaTu7O1utVS93XShk/0WqjNzg/otHoErHVQZjhD8pVBw==","signature_status":"signed_v1","signed_at":"2026-06-08T01:05:25.123167Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.07403","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:661fcd5ebb863e88a4ad4c3d6bb53f94bfb2e92fc77b875d8b284d3111a28e9e","sha256:517945bf967313113c47e07363b9e22a27b59537af0b9242c9032e8d6d0f363b"],"state_sha256":"1363a626883c41b27d0c5ff653a1d636eb07ed8d7774fb96fe587e7d6093ea4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dn588cbjKC8qnUShlZMojSIqBQfjgLlR0RIy+wg7vj2t/vz+JDxBOg0qHCNlLDzol/VL40zVLb7dVse0MIewAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T06:45:48.744359Z","bundle_sha256":"0a24911d4f2b848deaf4e3ef8a61fd1254ec321483c0123fe8d76ea3ec5e8990"}}