{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MOUO5RIFSTZE3DHCBLGHDEXI7J","short_pith_number":"pith:MOUO5RIF","canonical_record":{"source":{"id":"2202.10962","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-02-22T15:07:33Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"1aa057271ce5b9a2314cbcfe8530a23de9a20c6bd1e1053125f26ac042d50c1d","abstract_canon_sha256":"dca28d0221e50761b09e76f6b37d319b883be1ce095788dc3ee057f38d524b38"},"schema_version":"1.0"},"canonical_sha256":"63a8eec50594f24d8ce20acc7192e8fa60d40b8d7ebf8f6a2238f94e14e2d4fd","source":{"kind":"arxiv","id":"2202.10962","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.10962","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"arxiv_version","alias_value":"2202.10962v3","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.10962","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_12","alias_value":"MOUO5RIFSTZE","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_16","alias_value":"MOUO5RIFSTZE3DHC","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_8","alias_value":"MOUO5RIF","created_at":"2026-07-05T05:44:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MOUO5RIFSTZE3DHCBLGHDEXI7J","target":"record","payload":{"canonical_record":{"source":{"id":"2202.10962","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-02-22T15:07:33Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"1aa057271ce5b9a2314cbcfe8530a23de9a20c6bd1e1053125f26ac042d50c1d","abstract_canon_sha256":"dca28d0221e50761b09e76f6b37d319b883be1ce095788dc3ee057f38d524b38"},"schema_version":"1.0"},"canonical_sha256":"63a8eec50594f24d8ce20acc7192e8fa60d40b8d7ebf8f6a2238f94e14e2d4fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:44:47.904401Z","signature_b64":"ii7bNnubo+3ktWlOSJtFF/6Y/8+UUJr014XQXq8ry7zKw1go03fFpmO5zyI7vQZTtwAaokSh4/yMcH9bLQiDAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63a8eec50594f24d8ce20acc7192e8fa60d40b8d7ebf8f6a2238f94e14e2d4fd","last_reissued_at":"2026-07-05T05:44:47.903935Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:44:47.903935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2202.10962","source_version":3,"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-05T05:44:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"31CGZjhYW+dSkCID6/ZtTwnlGq6OpVqsW0eIGncSGX5Fkk+v//hl0s00/0ESmxmfJglEvyCTWAl2hQNDR/UqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T21:45:57.538734Z"},"content_sha256":"662642174aa47f31a502e5c998f14378352c20c13d2e32601b9a0055a10e08ed","schema_version":"1.0","event_id":"sha256:662642174aa47f31a502e5c998f14378352c20c13d2e32601b9a0055a10e08ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MOUO5RIFSTZE3DHCBLGHDEXI7J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adaptive Cut Selection in Mixed-Integer Linear Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Felipe Serrano, Mark Turner, Michael Winkler, Thorsten Koch","submitted_at":"2022-02-22T15:07:33Z","abstract_excerpt":"Cutting plane selection is a subroutine used in all modern mixed-integer linear programming solvers with the goal of selecting a subset of generated cuts that induce optimal solver performance. These solvers have millions of parameter combinations, and so are excellent candidates for parameter tuning. Cut selection scoring rules are usually weighted sums of different measurements, where the weights are parameters. We present a parametric family of mixed-integer linear programs together with infinitely many family-wide valid cuts. Some of these cuts can induce integer optimal solutions directly"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.10962","kind":"arxiv","version":3},"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/2202.10962/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-05T05:44:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n8opjVdPlzKCJ1d83mbzZ8kyJ3JbkIWgpaKWa75c8bbqvLgdz8j/HfKr0Zo6ju6ugpYKk/F1fAuSVdcCvCyFDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T21:45:57.539400Z"},"content_sha256":"308d6887e872b741614d1d5421ef2350e95151fc2df655f749d3ef8fce78c889","schema_version":"1.0","event_id":"sha256:308d6887e872b741614d1d5421ef2350e95151fc2df655f749d3ef8fce78c889"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/bundle.json","state_url":"https://pith.science/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/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-13T21:45:57Z","links":{"resolver":"https://pith.science/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J","bundle":"https://pith.science/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/bundle.json","state":"https://pith.science/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MOUO5RIFSTZE3DHCBLGHDEXI7J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MOUO5RIFSTZE3DHCBLGHDEXI7J","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":"dca28d0221e50761b09e76f6b37d319b883be1ce095788dc3ee057f38d524b38","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-02-22T15:07:33Z","title_canon_sha256":"1aa057271ce5b9a2314cbcfe8530a23de9a20c6bd1e1053125f26ac042d50c1d"},"schema_version":"1.0","source":{"id":"2202.10962","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.10962","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"arxiv_version","alias_value":"2202.10962v3","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.10962","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_12","alias_value":"MOUO5RIFSTZE","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_16","alias_value":"MOUO5RIFSTZE3DHC","created_at":"2026-07-05T05:44:47Z"},{"alias_kind":"pith_short_8","alias_value":"MOUO5RIF","created_at":"2026-07-05T05:44:47Z"}],"graph_snapshots":[{"event_id":"sha256:308d6887e872b741614d1d5421ef2350e95151fc2df655f749d3ef8fce78c889","target":"graph","created_at":"2026-07-05T05:44:47Z","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/2202.10962/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cutting plane selection is a subroutine used in all modern mixed-integer linear programming solvers with the goal of selecting a subset of generated cuts that induce optimal solver performance. These solvers have millions of parameter combinations, and so are excellent candidates for parameter tuning. Cut selection scoring rules are usually weighted sums of different measurements, where the weights are parameters. We present a parametric family of mixed-integer linear programs together with infinitely many family-wide valid cuts. Some of these cuts can induce integer optimal solutions directly","authors_text":"Felipe Serrano, Mark Turner, Michael Winkler, Thorsten Koch","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-02-22T15:07:33Z","title":"Adaptive Cut Selection in Mixed-Integer Linear Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.10962","kind":"arxiv","version":3},"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:662642174aa47f31a502e5c998f14378352c20c13d2e32601b9a0055a10e08ed","target":"record","created_at":"2026-07-05T05:44:47Z","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":"dca28d0221e50761b09e76f6b37d319b883be1ce095788dc3ee057f38d524b38","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-02-22T15:07:33Z","title_canon_sha256":"1aa057271ce5b9a2314cbcfe8530a23de9a20c6bd1e1053125f26ac042d50c1d"},"schema_version":"1.0","source":{"id":"2202.10962","kind":"arxiv","version":3}},"canonical_sha256":"63a8eec50594f24d8ce20acc7192e8fa60d40b8d7ebf8f6a2238f94e14e2d4fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63a8eec50594f24d8ce20acc7192e8fa60d40b8d7ebf8f6a2238f94e14e2d4fd","first_computed_at":"2026-07-05T05:44:47.903935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:44:47.903935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ii7bNnubo+3ktWlOSJtFF/6Y/8+UUJr014XQXq8ry7zKw1go03fFpmO5zyI7vQZTtwAaokSh4/yMcH9bLQiDAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:44:47.904401Z","signed_message":"canonical_sha256_bytes"},"source_id":"2202.10962","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:662642174aa47f31a502e5c998f14378352c20c13d2e32601b9a0055a10e08ed","sha256:308d6887e872b741614d1d5421ef2350e95151fc2df655f749d3ef8fce78c889"],"state_sha256":"df3d13feac41df55fbcd5bcbbcdb69ef040beb38a5f087bf52bc7b4fcb16185e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l1kc/ml6TNRkDfakJ6C6pcRxlM0YPxsHfQCeqa15qiks7B9w5G397M9UdedJ+J/JHBN2JJRczEq0gEDZTSD/Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T21:45:57.559096Z","bundle_sha256":"a09e38ffb9c221563019217bc471e7cfd8a9ac5e783ada57d5e782c656915e71"}}