{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PMFXFXIBB4U3CQNLIRATMHJ37D","short_pith_number":"pith:PMFXFXIB","canonical_record":{"source":{"id":"2407.09887","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-13T13:27:57Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"9f7dd8b7fc0b651b50861f676797cbd7bcd356f155e223ca711708aea380d586","abstract_canon_sha256":"75b01b23d0411a966c7d4025bc4288a40fab1e372508077fdf2153c9f1fca201"},"schema_version":"1.0"},"canonical_sha256":"7b0b72dd010f29b141ab4441361d3bf8ed7cd8db01bbe73de6582aff98f45a06","source":{"kind":"arxiv","id":"2407.09887","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.09887","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2407.09887v4","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.09887","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"PMFXFXIBB4U3","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"PMFXFXIBB4U3CQNL","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"PMFXFXIB","created_at":"2026-07-05T11:15:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PMFXFXIBB4U3CQNLIRATMHJ37D","target":"record","payload":{"canonical_record":{"source":{"id":"2407.09887","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-13T13:27:57Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"9f7dd8b7fc0b651b50861f676797cbd7bcd356f155e223ca711708aea380d586","abstract_canon_sha256":"75b01b23d0411a966c7d4025bc4288a40fab1e372508077fdf2153c9f1fca201"},"schema_version":"1.0"},"canonical_sha256":"7b0b72dd010f29b141ab4441361d3bf8ed7cd8db01bbe73de6582aff98f45a06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:38.640624Z","signature_b64":"N9xSumrA3BHFRagiht1qyEOsag628F3xl17V5Hg9wlk4NwMyh4Qdhff+Z+PDn5gmhBx7YnqCsZ8oM9/X4Dy4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b0b72dd010f29b141ab4441361d3bf8ed7cd8db01bbe73de6582aff98f45a06","last_reissued_at":"2026-07-05T11:15:38.640090Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:38.640090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.09887","source_version":4,"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-05T11:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kuFvawzMpk+JGhW/B3wbIkSyFwnKMiLdsVynt3OFDxnGlfOgzouDbTN6r394jfUC8pSlhLX3cz+2IIXUu3cxCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:05:23.017552Z"},"content_sha256":"a5ec8f768ddc73464c82bc3bd18034a688404078c6ee51c79812691bc89dc3ca","schema_version":"1.0","event_id":"sha256:a5ec8f768ddc73464c82bc3bd18034a688404078c6ee51c79812691bc89dc3ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PMFXFXIBB4U3CQNLIRATMHJ37D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.LG","authors_text":"Jing Tang, Liang Feng, Linqi Song, Wei Shi, Xiaodan Liang, Xiongwei Han, Yinya Huang, Yiwei Wang, Zhicheng Yang, Zhijiang Guo","submitted_at":"2024-07-13T13:27:57Z","abstract_excerpt":"Large language models (LLMs) have exhibited their problem-solving abilities in mathematical reasoning. Solving realistic optimization (OPT) problems in application scenarios requires advanced and applied mathematics ability. However, current OPT benchmarks that merely solve linear programming are far from complex realistic situations. In this work, we propose OptiBench, a benchmark for End-to-end optimization problem-solving with human-readable inputs and outputs. OptiBench contains rich optimization problems, including linear and nonlinear programming with or without tabular data, which can c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.09887","kind":"arxiv","version":4},"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/2407.09887/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-05T11:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1UKtiOIaMOGHWmg1aQMV2tXQyyRn6/4rL3YzeCTIw39skaGkZB8pRl97JEfPMVcXgojbqy5qRDP0zHDBeWpPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:05:23.018063Z"},"content_sha256":"6e9e4506237c8b5de6cb6b0755fe2ab1993b22e4e5a3db3ff08cd33243c88353","schema_version":"1.0","event_id":"sha256:6e9e4506237c8b5de6cb6b0755fe2ab1993b22e4e5a3db3ff08cd33243c88353"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/bundle.json","state_url":"https://pith.science/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/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-09T06:05:23Z","links":{"resolver":"https://pith.science/pith/PMFXFXIBB4U3CQNLIRATMHJ37D","bundle":"https://pith.science/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/bundle.json","state":"https://pith.science/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PMFXFXIBB4U3CQNLIRATMHJ37D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PMFXFXIBB4U3CQNLIRATMHJ37D","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":"75b01b23d0411a966c7d4025bc4288a40fab1e372508077fdf2153c9f1fca201","cross_cats_sorted":["math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-13T13:27:57Z","title_canon_sha256":"9f7dd8b7fc0b651b50861f676797cbd7bcd356f155e223ca711708aea380d586"},"schema_version":"1.0","source":{"id":"2407.09887","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.09887","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2407.09887v4","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.09887","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"PMFXFXIBB4U3","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"PMFXFXIBB4U3CQNL","created_at":"2026-07-05T11:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"PMFXFXIB","created_at":"2026-07-05T11:15:38Z"}],"graph_snapshots":[{"event_id":"sha256:6e9e4506237c8b5de6cb6b0755fe2ab1993b22e4e5a3db3ff08cd33243c88353","target":"graph","created_at":"2026-07-05T11:15:38Z","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/2407.09887/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have exhibited their problem-solving abilities in mathematical reasoning. Solving realistic optimization (OPT) problems in application scenarios requires advanced and applied mathematics ability. However, current OPT benchmarks that merely solve linear programming are far from complex realistic situations. In this work, we propose OptiBench, a benchmark for End-to-end optimization problem-solving with human-readable inputs and outputs. OptiBench contains rich optimization problems, including linear and nonlinear programming with or without tabular data, which can c","authors_text":"Jing Tang, Liang Feng, Linqi Song, Wei Shi, Xiaodan Liang, Xiongwei Han, Yinya Huang, Yiwei Wang, Zhicheng Yang, Zhijiang Guo","cross_cats":["math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-13T13:27:57Z","title":"OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.09887","kind":"arxiv","version":4},"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:a5ec8f768ddc73464c82bc3bd18034a688404078c6ee51c79812691bc89dc3ca","target":"record","created_at":"2026-07-05T11:15:38Z","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":"75b01b23d0411a966c7d4025bc4288a40fab1e372508077fdf2153c9f1fca201","cross_cats_sorted":["math.OC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-13T13:27:57Z","title_canon_sha256":"9f7dd8b7fc0b651b50861f676797cbd7bcd356f155e223ca711708aea380d586"},"schema_version":"1.0","source":{"id":"2407.09887","kind":"arxiv","version":4}},"canonical_sha256":"7b0b72dd010f29b141ab4441361d3bf8ed7cd8db01bbe73de6582aff98f45a06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b0b72dd010f29b141ab4441361d3bf8ed7cd8db01bbe73de6582aff98f45a06","first_computed_at":"2026-07-05T11:15:38.640090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:38.640090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N9xSumrA3BHFRagiht1qyEOsag628F3xl17V5Hg9wlk4NwMyh4Qdhff+Z+PDn5gmhBx7YnqCsZ8oM9/X4Dy4DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:38.640624Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.09887","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5ec8f768ddc73464c82bc3bd18034a688404078c6ee51c79812691bc89dc3ca","sha256:6e9e4506237c8b5de6cb6b0755fe2ab1993b22e4e5a3db3ff08cd33243c88353"],"state_sha256":"c7305df935f02260aa6ccb52db38a350288c0102b21496b4b66fa039ae806e75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5twdBlMy7RwKEJZM67OH/A2Xg2FZVTAk0Q1b3GqlRpLbY5acVf8cjfo8Jxjlc5XxlFr+pLhl+zAj9WBMbvctCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T06:05:23.023469Z","bundle_sha256":"2e97a21e8ca264732b897f1633d47d88706125f5358880aa812eea8d9615f877"}}