{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EWBYY524RCULZBI3RHMKJZ32J4","short_pith_number":"pith:EWBYY524","canonical_record":{"source":{"id":"2510.05115","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-28T12:25:31Z","cross_cats_sorted":["cs.CL","cs.PL"],"title_canon_sha256":"50b4d3b7814e2661b6209c65505f804f258b9ecd7c963ad75ce0ab262498a69b","abstract_canon_sha256":"1af8d24497c432950b8c612ea8f744291b65884a1e7d9755b6a5f57972645c5e"},"schema_version":"1.0"},"canonical_sha256":"25838c775c88a8bc851b89d8a4e77a4f18e29b77e7c92a03c93a3730c9a252af","source":{"kind":"arxiv","id":"2510.05115","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.05115","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"arxiv_version","alias_value":"2510.05115v3","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.05115","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_12","alias_value":"EWBYY524RCUL","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_16","alias_value":"EWBYY524RCULZBI3","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_8","alias_value":"EWBYY524","created_at":"2026-06-01T01:02:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EWBYY524RCULZBI3RHMKJZ32J4","target":"record","payload":{"canonical_record":{"source":{"id":"2510.05115","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-28T12:25:31Z","cross_cats_sorted":["cs.CL","cs.PL"],"title_canon_sha256":"50b4d3b7814e2661b6209c65505f804f258b9ecd7c963ad75ce0ab262498a69b","abstract_canon_sha256":"1af8d24497c432950b8c612ea8f744291b65884a1e7d9755b6a5f57972645c5e"},"schema_version":"1.0"},"canonical_sha256":"25838c775c88a8bc851b89d8a4e77a4f18e29b77e7c92a03c93a3730c9a252af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:02:23.005579Z","signature_b64":"YDPhz1JdcNW7Dip4DWsFBSF2g8XLnkOhJj4z6VNj3HjGNt+2kfe+NdEKfVsfE0kw8eSlx7QrsnZG4gRKPl8uCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25838c775c88a8bc851b89d8a4e77a4f18e29b77e7c92a03c93a3730c9a252af","last_reissued_at":"2026-06-01T01:02:23.004455Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:02:23.004455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.05115","source_version":3,"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-06-01T01:02:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ExIjb8DZXzJRfOJ9HwfZSrmG8DcLXVzv355jnKCCcts/nVDG/gZBhjr6w5Q4t9vqKDUurbPzV053u02+rWBtDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:34:37.485338Z"},"content_sha256":"3c00cd196572d10017954218bba94009cc7b0471e4c344f14cd83658987edcbb","schema_version":"1.0","event_id":"sha256:3c00cd196572d10017954218bba94009cc7b0471e4c344f14cd83658987edcbb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EWBYY524RCULZBI3RHMKJZ32J4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.PL"],"primary_cat":"cs.AI","authors_text":"Chen Ma, Mingxuan Yuan, Qingcan Kang, Tao Zhong, Xiongwei Han, Yansen Zhang, Yufei Wang, Yujie Chen","submitted_at":"2025-09-28T12:25:31Z","abstract_excerpt":"Large language models (LLMs) have opened new paradigms in optimization modeling by enabling the generation of executable solver code from natural language descriptions. Despite this promise, existing approaches typically remain solver-driven: they rely on single-pass forward generation and apply limited post-hoc fixes based on solver error messages, leaving undetected semantic errors that silently produce syntactically correct but logically flawed models. To address this challenge, we propose SAC-Opt, a backward-guided correction framework that grounds optimization modeling in problem semantic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.05115","kind":"arxiv","version":3},"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/2510.05115/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-06-01T01:02:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EiBKTv8r22t9D1jWFj0GhOIPO2mwyxtdCwyffSRlBLfmyo5UeW0eZAOYN/hzUyqp7H8ZIWcUQ3H5h7KuMLtaDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:34:37.485718Z"},"content_sha256":"b4b1c46cbc07d6ec2db0bb0e1b13686c98dc1eea3911f8d6d83e330a5c907d7e","schema_version":"1.0","event_id":"sha256:b4b1c46cbc07d6ec2db0bb0e1b13686c98dc1eea3911f8d6d83e330a5c907d7e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EWBYY524RCULZBI3RHMKJZ32J4/bundle.json","state_url":"https://pith.science/pith/EWBYY524RCULZBI3RHMKJZ32J4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EWBYY524RCULZBI3RHMKJZ32J4/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-01T21:34:37Z","links":{"resolver":"https://pith.science/pith/EWBYY524RCULZBI3RHMKJZ32J4","bundle":"https://pith.science/pith/EWBYY524RCULZBI3RHMKJZ32J4/bundle.json","state":"https://pith.science/pith/EWBYY524RCULZBI3RHMKJZ32J4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EWBYY524RCULZBI3RHMKJZ32J4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EWBYY524RCULZBI3RHMKJZ32J4","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":"1af8d24497c432950b8c612ea8f744291b65884a1e7d9755b6a5f57972645c5e","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-28T12:25:31Z","title_canon_sha256":"50b4d3b7814e2661b6209c65505f804f258b9ecd7c963ad75ce0ab262498a69b"},"schema_version":"1.0","source":{"id":"2510.05115","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.05115","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"arxiv_version","alias_value":"2510.05115v3","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.05115","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_12","alias_value":"EWBYY524RCUL","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_16","alias_value":"EWBYY524RCULZBI3","created_at":"2026-06-01T01:02:23Z"},{"alias_kind":"pith_short_8","alias_value":"EWBYY524","created_at":"2026-06-01T01:02:23Z"}],"graph_snapshots":[{"event_id":"sha256:b4b1c46cbc07d6ec2db0bb0e1b13686c98dc1eea3911f8d6d83e330a5c907d7e","target":"graph","created_at":"2026-06-01T01:02:23Z","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/2510.05115/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have opened new paradigms in optimization modeling by enabling the generation of executable solver code from natural language descriptions. Despite this promise, existing approaches typically remain solver-driven: they rely on single-pass forward generation and apply limited post-hoc fixes based on solver error messages, leaving undetected semantic errors that silently produce syntactically correct but logically flawed models. To address this challenge, we propose SAC-Opt, a backward-guided correction framework that grounds optimization modeling in problem semantic","authors_text":"Chen Ma, Mingxuan Yuan, Qingcan Kang, Tao Zhong, Xiongwei Han, Yansen Zhang, Yufei Wang, Yujie Chen","cross_cats":["cs.CL","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-28T12:25:31Z","title":"SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.05115","kind":"arxiv","version":3},"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:3c00cd196572d10017954218bba94009cc7b0471e4c344f14cd83658987edcbb","target":"record","created_at":"2026-06-01T01:02:23Z","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":"1af8d24497c432950b8c612ea8f744291b65884a1e7d9755b6a5f57972645c5e","cross_cats_sorted":["cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-09-28T12:25:31Z","title_canon_sha256":"50b4d3b7814e2661b6209c65505f804f258b9ecd7c963ad75ce0ab262498a69b"},"schema_version":"1.0","source":{"id":"2510.05115","kind":"arxiv","version":3}},"canonical_sha256":"25838c775c88a8bc851b89d8a4e77a4f18e29b77e7c92a03c93a3730c9a252af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25838c775c88a8bc851b89d8a4e77a4f18e29b77e7c92a03c93a3730c9a252af","first_computed_at":"2026-06-01T01:02:23.004455Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:02:23.004455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YDPhz1JdcNW7Dip4DWsFBSF2g8XLnkOhJj4z6VNj3HjGNt+2kfe+NdEKfVsfE0kw8eSlx7QrsnZG4gRKPl8uCg==","signature_status":"signed_v1","signed_at":"2026-06-01T01:02:23.005579Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.05115","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c00cd196572d10017954218bba94009cc7b0471e4c344f14cd83658987edcbb","sha256:b4b1c46cbc07d6ec2db0bb0e1b13686c98dc1eea3911f8d6d83e330a5c907d7e"],"state_sha256":"5a293338616b7b57b0c8679ef7d75460b86c357f977599854a5d6af9d8158486"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Eww9PGlPc9akMMhezMqhHdc5m/MTPwnP1qsSvi8Ycy8Mnzd1TvvsoYP/bN8exRJfGLABfWvYF7KQEKCTXuUCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:34:37.487783Z","bundle_sha256":"5498b9c98724a600c365e11a351d02c02c17afcead74951cdf4370fe0a212958"}}