{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OLLF26UFM5FRBZZTQ3JDJXOXLH","short_pith_number":"pith:OLLF26UF","canonical_record":{"source":{"id":"2401.05960","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-01-11T15:02:15Z","cross_cats_sorted":[],"title_canon_sha256":"110dc79ad4ef7ed44a33d526c9c51b2708c35904c02baee086f921ed70c2fb12","abstract_canon_sha256":"9d21d84d757c1f5522fe3aa2205670d27d42295659458c50fbb733ba34662455"},"schema_version":"1.0"},"canonical_sha256":"72d65d7a85674b10e73386d234ddd759ee421e414489c78afc32c9084a0dd696","source":{"kind":"arxiv","id":"2401.05960","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05960","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05960v2","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05960","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_12","alias_value":"OLLF26UFM5FR","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_16","alias_value":"OLLF26UFM5FRBZZT","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_8","alias_value":"OLLF26UF","created_at":"2026-07-05T07:34:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OLLF26UFM5FRBZZTQ3JDJXOXLH","target":"record","payload":{"canonical_record":{"source":{"id":"2401.05960","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-01-11T15:02:15Z","cross_cats_sorted":[],"title_canon_sha256":"110dc79ad4ef7ed44a33d526c9c51b2708c35904c02baee086f921ed70c2fb12","abstract_canon_sha256":"9d21d84d757c1f5522fe3aa2205670d27d42295659458c50fbb733ba34662455"},"schema_version":"1.0"},"canonical_sha256":"72d65d7a85674b10e73386d234ddd759ee421e414489c78afc32c9084a0dd696","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:34:37.189503Z","signature_b64":"2GqLZYb8+GrDFktHNQUC4lE8HzTWx53WDCewbcqDFTEwEvE6Gd3UHaSJc2jDy/okZCfbDc/dhBgzKh5g3UcPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72d65d7a85674b10e73386d234ddd759ee421e414489c78afc32c9084a0dd696","last_reissued_at":"2026-07-05T07:34:37.188958Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:34:37.188958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.05960","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-05T07:34:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Twv4ls3NM7NpBHFuYm2zOQdNi3NydCpq+wGoS/XyEtPV00ZzoMDpfkP0P/u8csSChEh+4ssPn3SBc/5/2skGCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T07:47:37.703654Z"},"content_sha256":"fe3be2d5576d00919281d9adc805dfc41d9656b48cb373eae7a85ab4bd1198fa","schema_version":"1.0","event_id":"sha256:fe3be2d5576d00919281d9adc805dfc41d9656b48cb373eae7a85ab4bd1198fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OLLF26UFM5FRBZZTQ3JDJXOXLH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machine Learning Insides OptVerse AI Solver: Design Principles and Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Defeng Sun, Fangzhou Zhu, Haoyang Liu, Hui-Ling Zhen, Jianshu Li, Jianye Hao, Jia Zeng, Jie Wang, Junchi Yan, Jun Yao, Kun Mao, Meng Lu, Mingxuan Yuan, Muming Yang, Tao Zhong, Weilin Luo, Xijun Li, Yang Li, Yimin Huang, Yong Zhang, Yufei Kuang, Zhenan Fan, Zhihai Wang, Zhiwu An, Zijie Geng, Zirui Zhou","submitted_at":"2024-01-11T15:02:15Z","abstract_excerpt":"In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the integration of machine learning (ML) techniques into Huawei Cloud's OptVerse AI Solver, which aims to mitigate the scarcity of real-world mathematical programming instances, and to surpass the capabilities of traditional optimization techniques. We showcase our methods for generating complex SAT and MILP instances utilizing generative models that mirror multifaceted structures of real-world problem. Furthermore, we intro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05960","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.05960/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-05T07:34:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sAQ98OAuZS80mup9vJ72AAvUVh9PkXu9sLgRs6VXdyLPeMGHMkI9U/rHXn866TKDG4wrby2alikg2Ef+R/AwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T07:47:37.704170Z"},"content_sha256":"83d2d9a033d8ff5c1a909e58b39120194a01a0dc650d1fdd3b8feb6a09e09ac1","schema_version":"1.0","event_id":"sha256:83d2d9a033d8ff5c1a909e58b39120194a01a0dc650d1fdd3b8feb6a09e09ac1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/bundle.json","state_url":"https://pith.science/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/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-11T07:47:37Z","links":{"resolver":"https://pith.science/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH","bundle":"https://pith.science/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/bundle.json","state":"https://pith.science/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OLLF26UFM5FRBZZTQ3JDJXOXLH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OLLF26UFM5FRBZZTQ3JDJXOXLH","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":"9d21d84d757c1f5522fe3aa2205670d27d42295659458c50fbb733ba34662455","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-01-11T15:02:15Z","title_canon_sha256":"110dc79ad4ef7ed44a33d526c9c51b2708c35904c02baee086f921ed70c2fb12"},"schema_version":"1.0","source":{"id":"2401.05960","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05960","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05960v2","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05960","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_12","alias_value":"OLLF26UFM5FR","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_16","alias_value":"OLLF26UFM5FRBZZT","created_at":"2026-07-05T07:34:37Z"},{"alias_kind":"pith_short_8","alias_value":"OLLF26UF","created_at":"2026-07-05T07:34:37Z"}],"graph_snapshots":[{"event_id":"sha256:83d2d9a033d8ff5c1a909e58b39120194a01a0dc650d1fdd3b8feb6a09e09ac1","target":"graph","created_at":"2026-07-05T07:34:37Z","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.05960/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the integration of machine learning (ML) techniques into Huawei Cloud's OptVerse AI Solver, which aims to mitigate the scarcity of real-world mathematical programming instances, and to surpass the capabilities of traditional optimization techniques. We showcase our methods for generating complex SAT and MILP instances utilizing generative models that mirror multifaceted structures of real-world problem. Furthermore, we intro","authors_text":"Defeng Sun, Fangzhou Zhu, Haoyang Liu, Hui-Ling Zhen, Jianshu Li, Jianye Hao, Jia Zeng, Jie Wang, Junchi Yan, Jun Yao, Kun Mao, Meng Lu, Mingxuan Yuan, Muming Yang, Tao Zhong, Weilin Luo, Xijun Li, Yang Li, Yimin Huang, Yong Zhang, Yufei Kuang, Zhenan Fan, Zhihai Wang, Zhiwu An, Zijie Geng, Zirui Zhou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-01-11T15:02:15Z","title":"Machine Learning Insides OptVerse AI Solver: Design Principles and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05960","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:fe3be2d5576d00919281d9adc805dfc41d9656b48cb373eae7a85ab4bd1198fa","target":"record","created_at":"2026-07-05T07:34:37Z","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":"9d21d84d757c1f5522fe3aa2205670d27d42295659458c50fbb733ba34662455","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-01-11T15:02:15Z","title_canon_sha256":"110dc79ad4ef7ed44a33d526c9c51b2708c35904c02baee086f921ed70c2fb12"},"schema_version":"1.0","source":{"id":"2401.05960","kind":"arxiv","version":2}},"canonical_sha256":"72d65d7a85674b10e73386d234ddd759ee421e414489c78afc32c9084a0dd696","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72d65d7a85674b10e73386d234ddd759ee421e414489c78afc32c9084a0dd696","first_computed_at":"2026-07-05T07:34:37.188958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:34:37.188958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2GqLZYb8+GrDFktHNQUC4lE8HzTWx53WDCewbcqDFTEwEvE6Gd3UHaSJc2jDy/okZCfbDc/dhBgzKh5g3UcPCw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:34:37.189503Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.05960","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe3be2d5576d00919281d9adc805dfc41d9656b48cb373eae7a85ab4bd1198fa","sha256:83d2d9a033d8ff5c1a909e58b39120194a01a0dc650d1fdd3b8feb6a09e09ac1"],"state_sha256":"df3f832759cb8854f5c52d0db22a1d0deb00fabf7061ae082c44377f681281fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yu2yKaVP+D8rmE3DuhUMVaTvzF7l8X71lERAb//RhrolcqbxRLdC1CT5CMy/gwU4X4nnkbFrj7bUzjHpsW8FAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T07:47:37.708318Z","bundle_sha256":"380ce026d857e710b0ae4daec261d53fee6cdb9093fd51b3ca99666acd58d407"}}