{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5LMQKZSDRX62YTAN3XIHF5H35S","short_pith_number":"pith:5LMQKZSD","canonical_record":{"source":{"id":"2605.23966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-12T23:13:20Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY","math.CO"],"title_canon_sha256":"a23ec5e60f799a18dc142dc872640eedd5c0e279e759c40b9b614066ddc93e6a","abstract_canon_sha256":"5d47576b9c06dfb96379410912f6e3e6c7d9c1c1bb270eba2ff13d100ed3d080"},"schema_version":"1.0"},"canonical_sha256":"ead90566438dfdac4c0dddd072f4fbec82333f2c22289e020fb7544e029cd31c","source":{"kind":"arxiv","id":"2605.23966","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.23966","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.23966v1","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.23966","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"5LMQKZSDRX62","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_16","alias_value":"5LMQKZSDRX62YTAN","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_8","alias_value":"5LMQKZSD","created_at":"2026-05-26T00:02:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5LMQKZSDRX62YTAN3XIHF5H35S","target":"record","payload":{"canonical_record":{"source":{"id":"2605.23966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-12T23:13:20Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY","math.CO"],"title_canon_sha256":"a23ec5e60f799a18dc142dc872640eedd5c0e279e759c40b9b614066ddc93e6a","abstract_canon_sha256":"5d47576b9c06dfb96379410912f6e3e6c7d9c1c1bb270eba2ff13d100ed3d080"},"schema_version":"1.0"},"canonical_sha256":"ead90566438dfdac4c0dddd072f4fbec82333f2c22289e020fb7544e029cd31c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T00:02:24.317081Z","signature_b64":"cA7mWKoY05c0MqvvUTkL2Z3MYuv2gqTX3gJaUxwmc282s34JriLTBKj0BuOxonxLXKYzPLtsUajhuUzOU276DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ead90566438dfdac4c0dddd072f4fbec82333f2c22289e020fb7544e029cd31c","last_reissued_at":"2026-05-26T00:02:24.316432Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T00:02:24.316432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.23966","source_version":1,"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-05-26T00:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RLARkE14wZn+eov7yDixRvtuHZW0caOK3azKNG2JLnGZa3acLrQGqZ4IJ85RsBbg8JEuHRNOq5saHvNYymIkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:36:57.425893Z"},"content_sha256":"88a5e0d73d9f4b5f9fbafa0474335cbbc5c6812615cc7109ff81d31439e30964","schema_version":"1.0","event_id":"sha256:88a5e0d73d9f4b5f9fbafa0474335cbbc5c6812615cc7109ff81d31439e30964"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5LMQKZSDRX62YTAN3XIHF5H35S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY","math.CO"],"primary_cat":"cs.CL","authors_text":"Jinghui Zhong, JinXi Wang, Yew-Soon Ong, Ziyang Fang","submitted_at":"2026-05-12T23:13:20Z","abstract_excerpt":"Optimization modeling serves as the pivotal bridge between natural-language problem descriptions and optimization solvers, and remains a cornerstone for bringing operations research (OR) into real-world decision making. Recent advances in large language models (LLMs) have driven significant progress in automatic optimization modeling. However, existing methods still lack explicit validation during the modeling process, allowing errors introduced in earlier stages to carry through the pipeline and ultimately reduce final modeling accuracy. To address this challenge, we introduce TriVAL, a tri-v"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.23966","kind":"arxiv","version":1},"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/2605.23966/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-05-26T00:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DFxWqeiOuFpODEq1is1ZabVOaN5icDLrasNpi+K8HJsXShClp8a7HA+CG+4ZGNnMHUhMyoGIf7zP/IOrkEqUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:36:57.426630Z"},"content_sha256":"bc915c83a83ec007bcd35a4376e4ef8e44c30e75bdafddf87cea23a303ffe0fb","schema_version":"1.0","event_id":"sha256:bc915c83a83ec007bcd35a4376e4ef8e44c30e75bdafddf87cea23a303ffe0fb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5LMQKZSDRX62YTAN3XIHF5H35S/bundle.json","state_url":"https://pith.science/pith/5LMQKZSDRX62YTAN3XIHF5H35S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5LMQKZSDRX62YTAN3XIHF5H35S/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-07T18:36:57Z","links":{"resolver":"https://pith.science/pith/5LMQKZSDRX62YTAN3XIHF5H35S","bundle":"https://pith.science/pith/5LMQKZSDRX62YTAN3XIHF5H35S/bundle.json","state":"https://pith.science/pith/5LMQKZSDRX62YTAN3XIHF5H35S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5LMQKZSDRX62YTAN3XIHF5H35S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5LMQKZSDRX62YTAN3XIHF5H35S","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":"5d47576b9c06dfb96379410912f6e3e6c7d9c1c1bb270eba2ff13d100ed3d080","cross_cats_sorted":["cs.AI","cs.SY","eess.SY","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-12T23:13:20Z","title_canon_sha256":"a23ec5e60f799a18dc142dc872640eedd5c0e279e759c40b9b614066ddc93e6a"},"schema_version":"1.0","source":{"id":"2605.23966","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.23966","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.23966v1","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.23966","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"5LMQKZSDRX62","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_16","alias_value":"5LMQKZSDRX62YTAN","created_at":"2026-05-26T00:02:24Z"},{"alias_kind":"pith_short_8","alias_value":"5LMQKZSD","created_at":"2026-05-26T00:02:24Z"}],"graph_snapshots":[{"event_id":"sha256:bc915c83a83ec007bcd35a4376e4ef8e44c30e75bdafddf87cea23a303ffe0fb","target":"graph","created_at":"2026-05-26T00:02:24Z","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/2605.23966/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Optimization modeling serves as the pivotal bridge between natural-language problem descriptions and optimization solvers, and remains a cornerstone for bringing operations research (OR) into real-world decision making. Recent advances in large language models (LLMs) have driven significant progress in automatic optimization modeling. However, existing methods still lack explicit validation during the modeling process, allowing errors introduced in earlier stages to carry through the pipeline and ultimately reduce final modeling accuracy. To address this challenge, we introduce TriVAL, a tri-v","authors_text":"Jinghui Zhong, JinXi Wang, Yew-Soon Ong, Ziyang Fang","cross_cats":["cs.AI","cs.SY","eess.SY","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.23966","kind":"arxiv","version":1},"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:88a5e0d73d9f4b5f9fbafa0474335cbbc5c6812615cc7109ff81d31439e30964","target":"record","created_at":"2026-05-26T00:02:24Z","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":"5d47576b9c06dfb96379410912f6e3e6c7d9c1c1bb270eba2ff13d100ed3d080","cross_cats_sorted":["cs.AI","cs.SY","eess.SY","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-05-12T23:13:20Z","title_canon_sha256":"a23ec5e60f799a18dc142dc872640eedd5c0e279e759c40b9b614066ddc93e6a"},"schema_version":"1.0","source":{"id":"2605.23966","kind":"arxiv","version":1}},"canonical_sha256":"ead90566438dfdac4c0dddd072f4fbec82333f2c22289e020fb7544e029cd31c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ead90566438dfdac4c0dddd072f4fbec82333f2c22289e020fb7544e029cd31c","first_computed_at":"2026-05-26T00:02:24.316432Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T00:02:24.316432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cA7mWKoY05c0MqvvUTkL2Z3MYuv2gqTX3gJaUxwmc282s34JriLTBKj0BuOxonxLXKYzPLtsUajhuUzOU276DA==","signature_status":"signed_v1","signed_at":"2026-05-26T00:02:24.317081Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.23966","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88a5e0d73d9f4b5f9fbafa0474335cbbc5c6812615cc7109ff81d31439e30964","sha256:bc915c83a83ec007bcd35a4376e4ef8e44c30e75bdafddf87cea23a303ffe0fb"],"state_sha256":"6567fff506b1293bd4f9c367ec3e676347191a9b868b1024626fa4e0579eee5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sXYMNG5KIFos00IHG7aX17YNVHom2xw9SJOA9MHo6xaZErOF1ya0EymQzaquQ8NeedEeEGtlYc2zvg+dOPcQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T18:36:57.430415Z","bundle_sha256":"6cd95f5707909557a5bf3341aefcbddd8102a00a935c99d85a581f8221ea5c76"}}