{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:YECP4NMZPPBHWFAGV2CORTQALR","short_pith_number":"pith:YECP4NMZ","canonical_record":{"source":{"id":"2012.13349","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-23T09:33:11Z","cross_cats_sorted":["cs.AI","cs.DM","cs.LG","cs.NE"],"title_canon_sha256":"0949dc79198b6670dccc1d4ef71a63e91745aab42f11c8332573160e48359742","abstract_canon_sha256":"1ebf4c9aa9f46a3de304b4db68a0f95be144a1eb647d0b748fe9c62b7472786b"},"schema_version":"1.0"},"canonical_sha256":"c104fe35997bc27b1406ae84e8ce005c6b58eeb6e6d3ad401579291189c0241c","source":{"kind":"arxiv","id":"2012.13349","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.13349","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"2012.13349v3","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.13349","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"YECP4NMZPPBH","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_16","alias_value":"YECP4NMZPPBHWFAG","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_8","alias_value":"YECP4NMZ","created_at":"2026-07-05T03:01:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:YECP4NMZPPBHWFAGV2CORTQALR","target":"record","payload":{"canonical_record":{"source":{"id":"2012.13349","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-23T09:33:11Z","cross_cats_sorted":["cs.AI","cs.DM","cs.LG","cs.NE"],"title_canon_sha256":"0949dc79198b6670dccc1d4ef71a63e91745aab42f11c8332573160e48359742","abstract_canon_sha256":"1ebf4c9aa9f46a3de304b4db68a0f95be144a1eb647d0b748fe9c62b7472786b"},"schema_version":"1.0"},"canonical_sha256":"c104fe35997bc27b1406ae84e8ce005c6b58eeb6e6d3ad401579291189c0241c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:01:34.747036Z","signature_b64":"Xou82TBUsFgUDmCZLKIbZQGQp8cDDyDuSBNC+mgJriDnODADwyFu950zSLHYykO2jpK9Zq8TEfpZ8lnPf8xjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c104fe35997bc27b1406ae84e8ce005c6b58eeb6e6d3ad401579291189c0241c","last_reissued_at":"2026-07-05T03:01:34.746559Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:01:34.746559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.13349","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-05T03:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7IlaV7nB5NEoS5XbAa8yAbQfBUYWksEmHl2CTsj2d/4Eb5BdMPI5DGSDX015Z6xhaQ3CjoJYtoCG6g0srQN1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T17:03:10.469750Z"},"content_sha256":"d9503050e2a11e36e0b8ac6fad84ac208139474c082213fc0f9f396201f24e60","schema_version":"1.0","event_id":"sha256:d9503050e2a11e36e0b8ac6fad84ac208139474c082213fc0f9f396201f24e60"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:YECP4NMZPPBHWFAGV2CORTQALR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solving Mixed Integer Programs Using Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DM","cs.LG","cs.NE"],"primary_cat":"math.OC","authors_text":"Brendan O'Donoghue, Christian Tjandraatmadja, Felix Gimeno, Ingrid von Glehn, Ira Ktena, Ivan Lobov, James Keeling, Nicolas Sonnerat, Oriol Vinyals, Pawel Lichocki, Pengming Wang, Pushmeet Kohli, Ravichandra Addanki, Sergey Bartunov, Tharindi Hapuarachchi, Thomas Keck, Vinod Nair, Yori Zwols, Yujia Li","submitted_at":"2020-12-23T09:33:11Z","abstract_excerpt":"Mixed Integer Programming (MIP) solvers rely on an array of sophisticated heuristics developed with decades of research to solve large-scale MIP instances encountered in practice. Machine learning offers to automatically construct better heuristics from data by exploiting shared structure among instances in the data. This paper applies learning to the two key sub-tasks of a MIP solver, generating a high-quality joint variable assignment, and bounding the gap in objective value between that assignment and an optimal one. Our approach constructs two corresponding neural network-based components,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.13349","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/2012.13349/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:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uC5VPDt0CSQnDuoUZH3zrA8NqR6sINz52EFCADk9cZ3oQtI86UaUQ9FwwwQcTZl78+ZhymnL/s6XDkG78iyqCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T17:03:10.470136Z"},"content_sha256":"69aaab3bf86a9e537859d14b5a30427d8feabddda63c9409a0feb90764e90e4e","schema_version":"1.0","event_id":"sha256:69aaab3bf86a9e537859d14b5a30427d8feabddda63c9409a0feb90764e90e4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YECP4NMZPPBHWFAGV2CORTQALR/bundle.json","state_url":"https://pith.science/pith/YECP4NMZPPBHWFAGV2CORTQALR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YECP4NMZPPBHWFAGV2CORTQALR/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-07-18T17:03:10Z","links":{"resolver":"https://pith.science/pith/YECP4NMZPPBHWFAGV2CORTQALR","bundle":"https://pith.science/pith/YECP4NMZPPBHWFAGV2CORTQALR/bundle.json","state":"https://pith.science/pith/YECP4NMZPPBHWFAGV2CORTQALR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YECP4NMZPPBHWFAGV2CORTQALR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:YECP4NMZPPBHWFAGV2CORTQALR","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":"1ebf4c9aa9f46a3de304b4db68a0f95be144a1eb647d0b748fe9c62b7472786b","cross_cats_sorted":["cs.AI","cs.DM","cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-23T09:33:11Z","title_canon_sha256":"0949dc79198b6670dccc1d4ef71a63e91745aab42f11c8332573160e48359742"},"schema_version":"1.0","source":{"id":"2012.13349","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.13349","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"2012.13349v3","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.13349","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"YECP4NMZPPBH","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_16","alias_value":"YECP4NMZPPBHWFAG","created_at":"2026-07-05T03:01:34Z"},{"alias_kind":"pith_short_8","alias_value":"YECP4NMZ","created_at":"2026-07-05T03:01:34Z"}],"graph_snapshots":[{"event_id":"sha256:69aaab3bf86a9e537859d14b5a30427d8feabddda63c9409a0feb90764e90e4e","target":"graph","created_at":"2026-07-05T03:01:34Z","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/2012.13349/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mixed Integer Programming (MIP) solvers rely on an array of sophisticated heuristics developed with decades of research to solve large-scale MIP instances encountered in practice. Machine learning offers to automatically construct better heuristics from data by exploiting shared structure among instances in the data. This paper applies learning to the two key sub-tasks of a MIP solver, generating a high-quality joint variable assignment, and bounding the gap in objective value between that assignment and an optimal one. Our approach constructs two corresponding neural network-based components,","authors_text":"Brendan O'Donoghue, Christian Tjandraatmadja, Felix Gimeno, Ingrid von Glehn, Ira Ktena, Ivan Lobov, James Keeling, Nicolas Sonnerat, Oriol Vinyals, Pawel Lichocki, Pengming Wang, Pushmeet Kohli, Ravichandra Addanki, Sergey Bartunov, Tharindi Hapuarachchi, Thomas Keck, Vinod Nair, Yori Zwols, Yujia Li","cross_cats":["cs.AI","cs.DM","cs.LG","cs.NE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-23T09:33:11Z","title":"Solving Mixed Integer Programs Using Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.13349","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:d9503050e2a11e36e0b8ac6fad84ac208139474c082213fc0f9f396201f24e60","target":"record","created_at":"2026-07-05T03:01:34Z","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":"1ebf4c9aa9f46a3de304b4db68a0f95be144a1eb647d0b748fe9c62b7472786b","cross_cats_sorted":["cs.AI","cs.DM","cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-23T09:33:11Z","title_canon_sha256":"0949dc79198b6670dccc1d4ef71a63e91745aab42f11c8332573160e48359742"},"schema_version":"1.0","source":{"id":"2012.13349","kind":"arxiv","version":3}},"canonical_sha256":"c104fe35997bc27b1406ae84e8ce005c6b58eeb6e6d3ad401579291189c0241c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c104fe35997bc27b1406ae84e8ce005c6b58eeb6e6d3ad401579291189c0241c","first_computed_at":"2026-07-05T03:01:34.746559Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:01:34.746559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xou82TBUsFgUDmCZLKIbZQGQp8cDDyDuSBNC+mgJriDnODADwyFu950zSLHYykO2jpK9Zq8TEfpZ8lnPf8xjBA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:01:34.747036Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.13349","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9503050e2a11e36e0b8ac6fad84ac208139474c082213fc0f9f396201f24e60","sha256:69aaab3bf86a9e537859d14b5a30427d8feabddda63c9409a0feb90764e90e4e"],"state_sha256":"73399cdcbb8dd0a3c68fd48713fabcc397078d850100c33e70fd639439f873fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jZMycnTcQiBSEesL3k4SJJRwYspkKvDXWfy94sonYNBUapvGY0PokwA7kNAwnYjkcs17E6GKJgWLGeCAi4ntCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T17:03:10.472809Z","bundle_sha256":"61e92bade5a42aee070c0ac94ced1855c356b5baf9e2d9666e58d10a6f32526d"}}