{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:E67HAFFDJGQHEWACMJHNG6YRCJ","short_pith_number":"pith:E67HAFFD","canonical_record":{"source":{"id":"2602.01476","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-02-01T22:56:25Z","cross_cats_sorted":[],"title_canon_sha256":"206d194c2eb803ab7207f6cb27bd5afc75f62522a642c9630fbb447818a1a630","abstract_canon_sha256":"2df4641b8c3e99d22c43e2a0752077a871e1bc252241234f29b0a6cc521e087f"},"schema_version":"1.0"},"canonical_sha256":"27be7014a349a0725802624ed37b11125f2f67c09c734ed93479d1266a476bcf","source":{"kind":"arxiv","id":"2602.01476","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.01476","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"arxiv_version","alias_value":"2602.01476v2","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.01476","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_12","alias_value":"E67HAFFDJGQH","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_16","alias_value":"E67HAFFDJGQHEWAC","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_8","alias_value":"E67HAFFD","created_at":"2026-06-01T01:02:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:E67HAFFDJGQHEWACMJHNG6YRCJ","target":"record","payload":{"canonical_record":{"source":{"id":"2602.01476","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-02-01T22:56:25Z","cross_cats_sorted":[],"title_canon_sha256":"206d194c2eb803ab7207f6cb27bd5afc75f62522a642c9630fbb447818a1a630","abstract_canon_sha256":"2df4641b8c3e99d22c43e2a0752077a871e1bc252241234f29b0a6cc521e087f"},"schema_version":"1.0"},"canonical_sha256":"27be7014a349a0725802624ed37b11125f2f67c09c734ed93479d1266a476bcf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:02:31.378678Z","signature_b64":"Yk7b/8XjcXL3Bi0ftASLFXda0y99YqvRAFMlO0TxoqiKHr5CTZrBsil66F5i7Vwjn/x/rVE4vHbriVHmGz42Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27be7014a349a0725802624ed37b11125f2f67c09c734ed93479d1266a476bcf","last_reissued_at":"2026-06-01T01:02:31.377516Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:02:31.377516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.01476","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-06-01T01:02:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LlT+4i/AhYyHHEI/GoKYKoVGhmQtPzrTds+iPYoqc1/9WZa8VuH2HtZwEGdecwftVtLNzXNtaqlp/zS9L2FCCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:22:44.844420Z"},"content_sha256":"f0e930c5d403d4d28e2f9784943bc8a99aaeb339421bcf57b5b1410221ca6067","schema_version":"1.0","event_id":"sha256:f0e930c5d403d4d28e2f9784943bc8a99aaeb339421bcf57b5b1410221ca6067"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:E67HAFFDJGQHEWACMJHNG6YRCJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conformal Prediction for Early Stopping in Mixed Integer Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Bartolomeo Stellato, Stefan Clarke","submitted_at":"2026-02-01T22:56:25Z","abstract_excerpt":"Mixed-integer optimization solvers often find optimal solutions early in the search, yet spend the majority of computation time proving optimality. We exploit this by learning when to terminate solvers early on distributions of similar problem instances. Our method trains a neural network to estimate the true optimality gap from the solver state, then uses conformal prediction to calibrate a stopping threshold with rigorous probabilistic guarantees on solution quality. On five problem families from the distributional MIPLIB library, our method reduces solve time by over 60% while guaranteeing "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.01476","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/2602.01476/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-01T01:02:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JsQMNcEGYh0nNqdT9x74gLFEkNOblAGWppFC10F9r5C43Z/wwtHzCsNO6ZvnPXq7jVavgE5vdxWRMqvOzFfpDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:22:44.845085Z"},"content_sha256":"0755863e08208ee142baf73fef0fb6fa25f60a2148ea0eff5c3a51a7bebd3493","schema_version":"1.0","event_id":"sha256:0755863e08208ee142baf73fef0fb6fa25f60a2148ea0eff5c3a51a7bebd3493"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/bundle.json","state_url":"https://pith.science/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/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-05T19:22:44Z","links":{"resolver":"https://pith.science/pith/E67HAFFDJGQHEWACMJHNG6YRCJ","bundle":"https://pith.science/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/bundle.json","state":"https://pith.science/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E67HAFFDJGQHEWACMJHNG6YRCJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:E67HAFFDJGQHEWACMJHNG6YRCJ","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":"2df4641b8c3e99d22c43e2a0752077a871e1bc252241234f29b0a6cc521e087f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-02-01T22:56:25Z","title_canon_sha256":"206d194c2eb803ab7207f6cb27bd5afc75f62522a642c9630fbb447818a1a630"},"schema_version":"1.0","source":{"id":"2602.01476","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.01476","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"arxiv_version","alias_value":"2602.01476v2","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.01476","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_12","alias_value":"E67HAFFDJGQH","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_16","alias_value":"E67HAFFDJGQHEWAC","created_at":"2026-06-01T01:02:31Z"},{"alias_kind":"pith_short_8","alias_value":"E67HAFFD","created_at":"2026-06-01T01:02:31Z"}],"graph_snapshots":[{"event_id":"sha256:0755863e08208ee142baf73fef0fb6fa25f60a2148ea0eff5c3a51a7bebd3493","target":"graph","created_at":"2026-06-01T01:02:31Z","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/2602.01476/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mixed-integer optimization solvers often find optimal solutions early in the search, yet spend the majority of computation time proving optimality. We exploit this by learning when to terminate solvers early on distributions of similar problem instances. Our method trains a neural network to estimate the true optimality gap from the solver state, then uses conformal prediction to calibrate a stopping threshold with rigorous probabilistic guarantees on solution quality. On five problem families from the distributional MIPLIB library, our method reduces solve time by over 60% while guaranteeing ","authors_text":"Bartolomeo Stellato, Stefan Clarke","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-02-01T22:56:25Z","title":"Conformal Prediction for Early Stopping in Mixed Integer Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.01476","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:f0e930c5d403d4d28e2f9784943bc8a99aaeb339421bcf57b5b1410221ca6067","target":"record","created_at":"2026-06-01T01:02:31Z","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":"2df4641b8c3e99d22c43e2a0752077a871e1bc252241234f29b0a6cc521e087f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-02-01T22:56:25Z","title_canon_sha256":"206d194c2eb803ab7207f6cb27bd5afc75f62522a642c9630fbb447818a1a630"},"schema_version":"1.0","source":{"id":"2602.01476","kind":"arxiv","version":2}},"canonical_sha256":"27be7014a349a0725802624ed37b11125f2f67c09c734ed93479d1266a476bcf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27be7014a349a0725802624ed37b11125f2f67c09c734ed93479d1266a476bcf","first_computed_at":"2026-06-01T01:02:31.377516Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:02:31.377516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yk7b/8XjcXL3Bi0ftASLFXda0y99YqvRAFMlO0TxoqiKHr5CTZrBsil66F5i7Vwjn/x/rVE4vHbriVHmGz42Cg==","signature_status":"signed_v1","signed_at":"2026-06-01T01:02:31.378678Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.01476","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0e930c5d403d4d28e2f9784943bc8a99aaeb339421bcf57b5b1410221ca6067","sha256:0755863e08208ee142baf73fef0fb6fa25f60a2148ea0eff5c3a51a7bebd3493"],"state_sha256":"9ae199bb6f9717a589ff27361b5f65214f26f8a558746a8bdafc01b6ef563609"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W4LjeTkexpVVuMgL9rD5PRJHdC695Dq10EKToBYKGunbGSmIJHEyRTaUEoWmwX6L5qIaRGSp7Kr649UfS7lcBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T19:22:44.848470Z","bundle_sha256":"c5f712544109d6e4599ec337942c80a5d12a28e2ffd7a84ffd93387c561efc75"}}