{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:AYCWK2CQ6XDXPMDC3CIXOEZMOV","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":"6eb620ba59f6e93682275d8db61323a122fee9d080bfce7eb8274025f4bb711a","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T06:47:20Z","title_canon_sha256":"4c3cbf528e50f75b5a37f37643cabcc93d81951744be300aa1410b9dcae00072"},"schema_version":"1.0","source":{"id":"2607.18256","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.18256","created_at":"2026-07-22T00:22:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.18256v1","created_at":"2026-07-22T00:22:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18256","created_at":"2026-07-22T00:22:38Z"},{"alias_kind":"pith_short_12","alias_value":"AYCWK2CQ6XDX","created_at":"2026-07-22T00:22:38Z"},{"alias_kind":"pith_short_16","alias_value":"AYCWK2CQ6XDXPMDC","created_at":"2026-07-22T00:22:38Z"},{"alias_kind":"pith_short_8","alias_value":"AYCWK2CQ","created_at":"2026-07-22T00:22:38Z"}],"graph_snapshots":[{"event_id":"sha256:232687e0d2c87e29fbe9a90fa7250d9c0042136889d867dca60470abcda40568","target":"graph","created_at":"2026-07-22T00:22: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/2607.18256/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Optimization modeling is the process of translating real-world decision problems, often described in natural language, into formal mathematical formulations and executable solver code. While recent advances in large language models have shown promise in automating this process, most existing approaches remain one-shot: a model produces a formulation once, without executing it, conditioning on solver feedback, or iteratively revising errors. This stands in sharp contrast to real-world optimization modeling, which is inherently interactive and proceeds through repeated solve-debug-revise cycles.","authors_text":"Fan Zhang, Hongliang Lu, Yuan Lan, Yuxuan Chen, Zaiwen Wen, Zhong Li","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T06:47:20Z","title":"PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18256","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:f934afe322ae6be68bdd4784787383c2cc6cd584420d6c38e04a7da23e88eb91","target":"record","created_at":"2026-07-22T00:22: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":"6eb620ba59f6e93682275d8db61323a122fee9d080bfce7eb8274025f4bb711a","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-14T06:47:20Z","title_canon_sha256":"4c3cbf528e50f75b5a37f37643cabcc93d81951744be300aa1410b9dcae00072"},"schema_version":"1.0","source":{"id":"2607.18256","kind":"arxiv","version":1}},"canonical_sha256":"0605656850f5c777b062d89177132c756d9878379ecff3717628d590d43be71e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0605656850f5c777b062d89177132c756d9878379ecff3717628d590d43be71e","first_computed_at":"2026-07-22T00:22:38.889894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-22T00:22:38.889894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v/rJ8w8sFUIIVhEzCWaEWABzOTUdwhn5xrmwEFcbNyOGgYIoz1YEU382j77kpPdZYDusfAe2X5owdtK+SJYkDQ==","signature_status":"signed_v1","signed_at":"2026-07-22T00:22:38.890808Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.18256","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f934afe322ae6be68bdd4784787383c2cc6cd584420d6c38e04a7da23e88eb91","sha256:232687e0d2c87e29fbe9a90fa7250d9c0042136889d867dca60470abcda40568"],"state_sha256":"1fa38bf5656747d402c76468ec3acf21c39028c03a37a5a17e828b17b6dfd690"}