{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CPUFOK5WDLEPWM53GVBAU6RVPM","short_pith_number":"pith:CPUFOK5W","canonical_record":{"source":{"id":"2401.10467","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-19T03:39:43Z","cross_cats_sorted":["cs.LG","math.OC"],"title_canon_sha256":"09ba01346ade095a7b080fe90a7d0b4e08d29895b4a77ba32f23579ca14fe7f1","abstract_canon_sha256":"4597869d4c51e745dd559228566459c64d9c912c076d292b063eadc138d3da5c"},"schema_version":"1.0"},"canonical_sha256":"13e8572bb61ac8fb33bb35420a7a357b10b7b1aeefb612e05ec53f517d10716c","source":{"kind":"arxiv","id":"2401.10467","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.10467","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"arxiv_version","alias_value":"2401.10467v2","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.10467","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_12","alias_value":"CPUFOK5WDLEP","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_16","alias_value":"CPUFOK5WDLEPWM53","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_8","alias_value":"CPUFOK5W","created_at":"2026-07-05T08:50:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CPUFOK5WDLEPWM53GVBAU6RVPM","target":"record","payload":{"canonical_record":{"source":{"id":"2401.10467","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-19T03:39:43Z","cross_cats_sorted":["cs.LG","math.OC"],"title_canon_sha256":"09ba01346ade095a7b080fe90a7d0b4e08d29895b4a77ba32f23579ca14fe7f1","abstract_canon_sha256":"4597869d4c51e745dd559228566459c64d9c912c076d292b063eadc138d3da5c"},"schema_version":"1.0"},"canonical_sha256":"13e8572bb61ac8fb33bb35420a7a357b10b7b1aeefb612e05ec53f517d10716c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:50:53.553499Z","signature_b64":"hiA47NBh0hq0k66Dn8pwvmue1JnLDDsIvxNsNV4nay0aLcGMsOVogdWYg54cOVTvbdRyDvPxG/R61yV5IANJAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e8572bb61ac8fb33bb35420a7a357b10b7b1aeefb612e05ec53f517d10716c","last_reissued_at":"2026-07-05T08:50:53.553030Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:50:53.553030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.10467","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-07-05T08:50:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IkUVsc/G4vv8HkjhJ4YaPBqM+NFHTVV1PSOJDaRTLr7TULQJ9GiJCWVMV+RamFBJGQv6XclBKPOMkKDgKdjADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T11:55:21.804207Z"},"content_sha256":"41cf346e5e4d7e1dda081785cfb82300e0af8d3018eb52b2b37a8fb7711aef1b","schema_version":"1.0","event_id":"sha256:41cf346e5e4d7e1dda081785cfb82300e0af8d3018eb52b2b37a8fb7711aef1b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CPUFOK5WDLEPWM53GVBAU6RVPM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LG","math.OC"],"primary_cat":"cs.AI","authors_text":"Bistra Dilkina, Junyang Cai, Taoan Huang","submitted_at":"2024-01-19T03:39:43Z","abstract_excerpt":"Many real-world problems can be efficiently modeled as Mixed Integer Linear Programs (MILPs) and solved with the Branch-and-Bound method. Prior work has shown the existence of MILP backdoors, small sets of variables such that prioritizing branching on them when possible leads to faster running times. However, finding high-quality backdoors that improve running times remains an open question. Previous work learns to estimate the relative solver speed of randomly sampled backdoors through ranking and then decide whether to use the highest-ranked backdoor candidate. In this paper, we utilize the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.10467","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/2401.10467/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-05T08:50:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6z/z2dBeYzKb6rlmmaqTsA7uytM0ZEQc6XwuL0eX3mnwlagmbUaF7+w56Vb4b+L3XZZVzdI58QrNzLsaF9RQAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T11:55:21.804734Z"},"content_sha256":"2cb6d1e4fb2fa2f28cc64fcf78ac5ead71a22dd4629611d911049eaffc50a661","schema_version":"1.0","event_id":"sha256:2cb6d1e4fb2fa2f28cc64fcf78ac5ead71a22dd4629611d911049eaffc50a661"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/bundle.json","state_url":"https://pith.science/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/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-11T11:55:21Z","links":{"resolver":"https://pith.science/pith/CPUFOK5WDLEPWM53GVBAU6RVPM","bundle":"https://pith.science/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/bundle.json","state":"https://pith.science/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CPUFOK5WDLEPWM53GVBAU6RVPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CPUFOK5WDLEPWM53GVBAU6RVPM","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":"4597869d4c51e745dd559228566459c64d9c912c076d292b063eadc138d3da5c","cross_cats_sorted":["cs.LG","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-19T03:39:43Z","title_canon_sha256":"09ba01346ade095a7b080fe90a7d0b4e08d29895b4a77ba32f23579ca14fe7f1"},"schema_version":"1.0","source":{"id":"2401.10467","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.10467","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"arxiv_version","alias_value":"2401.10467v2","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.10467","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_12","alias_value":"CPUFOK5WDLEP","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_16","alias_value":"CPUFOK5WDLEPWM53","created_at":"2026-07-05T08:50:53Z"},{"alias_kind":"pith_short_8","alias_value":"CPUFOK5W","created_at":"2026-07-05T08:50:53Z"}],"graph_snapshots":[{"event_id":"sha256:2cb6d1e4fb2fa2f28cc64fcf78ac5ead71a22dd4629611d911049eaffc50a661","target":"graph","created_at":"2026-07-05T08:50:53Z","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/2401.10467/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many real-world problems can be efficiently modeled as Mixed Integer Linear Programs (MILPs) and solved with the Branch-and-Bound method. Prior work has shown the existence of MILP backdoors, small sets of variables such that prioritizing branching on them when possible leads to faster running times. However, finding high-quality backdoors that improve running times remains an open question. Previous work learns to estimate the relative solver speed of randomly sampled backdoors through ranking and then decide whether to use the highest-ranked backdoor candidate. In this paper, we utilize the ","authors_text":"Bistra Dilkina, Junyang Cai, Taoan Huang","cross_cats":["cs.LG","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-19T03:39:43Z","title":"Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.10467","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:41cf346e5e4d7e1dda081785cfb82300e0af8d3018eb52b2b37a8fb7711aef1b","target":"record","created_at":"2026-07-05T08:50:53Z","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":"4597869d4c51e745dd559228566459c64d9c912c076d292b063eadc138d3da5c","cross_cats_sorted":["cs.LG","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-19T03:39:43Z","title_canon_sha256":"09ba01346ade095a7b080fe90a7d0b4e08d29895b4a77ba32f23579ca14fe7f1"},"schema_version":"1.0","source":{"id":"2401.10467","kind":"arxiv","version":2}},"canonical_sha256":"13e8572bb61ac8fb33bb35420a7a357b10b7b1aeefb612e05ec53f517d10716c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13e8572bb61ac8fb33bb35420a7a357b10b7b1aeefb612e05ec53f517d10716c","first_computed_at":"2026-07-05T08:50:53.553030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:50:53.553030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hiA47NBh0hq0k66Dn8pwvmue1JnLDDsIvxNsNV4nay0aLcGMsOVogdWYg54cOVTvbdRyDvPxG/R61yV5IANJAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:50:53.553499Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.10467","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41cf346e5e4d7e1dda081785cfb82300e0af8d3018eb52b2b37a8fb7711aef1b","sha256:2cb6d1e4fb2fa2f28cc64fcf78ac5ead71a22dd4629611d911049eaffc50a661"],"state_sha256":"27bdfb25746eb3801a7f45117a605bf819e21790bcd2ca45fe4ea4001aee0e4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vrxkChHvi+J0ssuukeTDNsItlhtpRodXD2wSAQwgiY7SVTxs4YL0qKZeWSSsd00ySj7mci52BJAimfsAbyFMAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T11:55:21.808483Z","bundle_sha256":"c9e942a30ad8242a313ed53ae0f5640b99b98c40d321d38cfa350346fea06593"}}