{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:X7EEM2J2XWPRHY2AXKCEF4VHBU","short_pith_number":"pith:X7EEM2J2","canonical_record":{"source":{"id":"2312.08074","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-13T11:36:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"870cf207ef4ed4f96cbc97466815065de9a8b94eb0a75c547fb9bc6f3e851c88","abstract_canon_sha256":"eb9e6bac6df84bdd3ce9d77277438ebdeb024c12873c148491d8d64bf76e7bc8"},"schema_version":"1.0"},"canonical_sha256":"bfc846693abd9f13e340ba8442f2a70d269ca8c96ab05fc0943485d0b22a0a67","source":{"kind":"arxiv","id":"2312.08074","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.08074","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"arxiv_version","alias_value":"2312.08074v2","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08074","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_12","alias_value":"X7EEM2J2XWPR","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_16","alias_value":"X7EEM2J2XWPRHY2A","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_8","alias_value":"X7EEM2J2","created_at":"2026-07-05T08:21:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:X7EEM2J2XWPRHY2AXKCEF4VHBU","target":"record","payload":{"canonical_record":{"source":{"id":"2312.08074","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-13T11:36:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"870cf207ef4ed4f96cbc97466815065de9a8b94eb0a75c547fb9bc6f3e851c88","abstract_canon_sha256":"eb9e6bac6df84bdd3ce9d77277438ebdeb024c12873c148491d8d64bf76e7bc8"},"schema_version":"1.0"},"canonical_sha256":"bfc846693abd9f13e340ba8442f2a70d269ca8c96ab05fc0943485d0b22a0a67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:21:45.410340Z","signature_b64":"4RKUi/f5RKEdMOtqxnJf8LNvzTdl4O2u9jo6xnRuUcPJQpNSHcYvryFiLBZiwhOF2BF2LtDBRsMhYY4IYJGfAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfc846693abd9f13e340ba8442f2a70d269ca8c96ab05fc0943485d0b22a0a67","last_reissued_at":"2026-07-05T08:21:45.409894Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:21:45.409894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.08074","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:21:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"87Kyaj9BHitynFuwp0MrQfP0BjHjNaJk2YSuB5sUDNfPTU+6AZorQ3+3zWuglm+TDpwT15w7lQT0PrY5yTdnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T13:25:58.219418Z"},"content_sha256":"92ce54e12a1aa6fdeff462efc361102dfb9a993effe24d7e3be6f98aefb175f1","schema_version":"1.0","event_id":"sha256:92ce54e12a1aa6fdeff462efc361102dfb9a993effe24d7e3be6f98aefb175f1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:X7EEM2J2XWPRHY2AXKCEF4VHBU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"math.OC","authors_text":"Antonia Chmiela, Mark Turner, Michael Winkler, Thorsten Koch","submitted_at":"2023-12-13T11:36:55Z","abstract_excerpt":"A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between variables is either incomplete or highly complex, making it difficult or even impossible to model the problem directly. To overcome these hurdles, machine learning (ML) predictors are often used to represent these relationships and are then embedded in the MIP as surrogate models. Due to the large amount of available ML frameworks and the complexity of many ML predictors, formulating such predictors into MIPs is a hi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.08074","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/2312.08074/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:21:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AnbPSQCrjbvptmQis1QZr7IkoWktEmiUVRhSnAtf+3neEiDVQqd+maUX1I2c52H4Odrly2ksa88HmLiKPVo0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T13:25:58.219919Z"},"content_sha256":"bbc461dc1b573bdd3a86bd48b8ee2e3b99771b37a3191cf69e9ea62250a492c2","schema_version":"1.0","event_id":"sha256:bbc461dc1b573bdd3a86bd48b8ee2e3b99771b37a3191cf69e9ea62250a492c2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/bundle.json","state_url":"https://pith.science/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/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-10T13:25:58Z","links":{"resolver":"https://pith.science/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU","bundle":"https://pith.science/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/bundle.json","state":"https://pith.science/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X7EEM2J2XWPRHY2AXKCEF4VHBU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:X7EEM2J2XWPRHY2AXKCEF4VHBU","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":"eb9e6bac6df84bdd3ce9d77277438ebdeb024c12873c148491d8d64bf76e7bc8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-13T11:36:55Z","title_canon_sha256":"870cf207ef4ed4f96cbc97466815065de9a8b94eb0a75c547fb9bc6f3e851c88"},"schema_version":"1.0","source":{"id":"2312.08074","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.08074","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"arxiv_version","alias_value":"2312.08074v2","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08074","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_12","alias_value":"X7EEM2J2XWPR","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_16","alias_value":"X7EEM2J2XWPRHY2A","created_at":"2026-07-05T08:21:45Z"},{"alias_kind":"pith_short_8","alias_value":"X7EEM2J2","created_at":"2026-07-05T08:21:45Z"}],"graph_snapshots":[{"event_id":"sha256:bbc461dc1b573bdd3a86bd48b8ee2e3b99771b37a3191cf69e9ea62250a492c2","target":"graph","created_at":"2026-07-05T08:21:45Z","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/2312.08074/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A standard tool for modelling real-world optimisation problems is mixed-integer programming (MIP). However, for many of these problems, information about the relationships between variables is either incomplete or highly complex, making it difficult or even impossible to model the problem directly. To overcome these hurdles, machine learning (ML) predictors are often used to represent these relationships and are then embedded in the MIP as surrogate models. Due to the large amount of available ML frameworks and the complexity of many ML predictors, formulating such predictors into MIPs is a hi","authors_text":"Antonia Chmiela, Mark Turner, Michael Winkler, Thorsten Koch","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-13T11:36:55Z","title":"PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.08074","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:92ce54e12a1aa6fdeff462efc361102dfb9a993effe24d7e3be6f98aefb175f1","target":"record","created_at":"2026-07-05T08:21:45Z","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":"eb9e6bac6df84bdd3ce9d77277438ebdeb024c12873c148491d8d64bf76e7bc8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-13T11:36:55Z","title_canon_sha256":"870cf207ef4ed4f96cbc97466815065de9a8b94eb0a75c547fb9bc6f3e851c88"},"schema_version":"1.0","source":{"id":"2312.08074","kind":"arxiv","version":2}},"canonical_sha256":"bfc846693abd9f13e340ba8442f2a70d269ca8c96ab05fc0943485d0b22a0a67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfc846693abd9f13e340ba8442f2a70d269ca8c96ab05fc0943485d0b22a0a67","first_computed_at":"2026-07-05T08:21:45.409894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:21:45.409894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4RKUi/f5RKEdMOtqxnJf8LNvzTdl4O2u9jo6xnRuUcPJQpNSHcYvryFiLBZiwhOF2BF2LtDBRsMhYY4IYJGfAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:21:45.410340Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.08074","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92ce54e12a1aa6fdeff462efc361102dfb9a993effe24d7e3be6f98aefb175f1","sha256:bbc461dc1b573bdd3a86bd48b8ee2e3b99771b37a3191cf69e9ea62250a492c2"],"state_sha256":"b6223cba4a4b82c893ff3b6c3db3319fa2cef4ff64e5417add34f94f97455a52"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UqnvNkTn1zinjCOgQSVdHcN8vSRSkDp7SUls9f5l5SMwbbjYKYrZCkUi1LmpKZgE88JLKL3VFnRkQwMAAnBaCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T13:25:58.223974Z","bundle_sha256":"250991c511627ddb526cf94c6dba2fb80c7e603111d8faf68c3f1019b7e18d8f"}}