{"as_of":"2026-08-18T02:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2872b04088ec8848f2df6d01c1824748f892856a460d10520cac9d880423de9a","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:08:50.806389Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T20:55:41.469052Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-12T00:06:18.555367Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.17637","snapshot_observed_at":"2026-08-04T20:55:41.469052Z","title":"Step-opt: Boosting optimization modeling in llms through iterative data synthesis and structured validation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.08269","last_updated":"2026-07-17T08:53:46Z","snapshot_observed_at":"2026-08-17T14:07:26.027829Z","submitted_at":"2025-09-10T04:05:54Z","title":"A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solving","version":6},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-04T20:55:41.469052Z"},"links":{"cited_paper":"/paper/2506.17637","citing_paper":"/paper/2509.08269"},"observation_digest":"sha256:cc0fc5f864ecab76297c6f9a0dd3995dc2f3fb82b0d7657b0b5c1810e682b9cb","observation_id":"2436e462-cd51-4bcb-b9e0-b2dffeec8f30","resolution":{"observed_at":"2026-08-04T20:55:41.469052Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"cited_work":{"arxiv_id":"2506.17637","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.17637","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Step-opt: Boosting 24 optimization modeling in llms through iterative data synthesis and structured validation.arXiv preprint arXiv:2506.17637","venue":null,"work_id":"ec86f5dd-93d2-4b9c-ba74-34a7d5ea2cba","year":2025},"citing_paper":{"arxiv_id":"2604.16804","last_updated":"2026-05-06T17:41:05Z","snapshot_observed_at":"2026-08-16T05:07:13.086560Z","submitted_at":"2026-04-18T03:24:54Z","title":"AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-10T07:02:02.992871Z"},"links":{"cited_paper":"/paper/2506.17637","citing_paper":"/paper/2604.16804"},"observation_digest":"sha256:ff276a81c8fb397c7bf5ab56113df1f779657ffa71dde57e3669942a75a78e2a","observation_id":"5e83cb6e-96d7-4ffd-adc7-cc07621aa4d9","resolution":{"observed_at":"2026-05-10T07:11:53.600430Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"cited_work":{"arxiv_id":"2506.17637","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.17637","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Step-opt: Boosting 24 optimization modeling in llms through iterative data synthesis and structured validation.arXiv preprint arXiv:2506.17637","venue":null,"work_id":"ec86f5dd-93d2-4b9c-ba74-34a7d5ea2cba","year":2025},"citing_paper":{"arxiv_id":"2604.25847","last_updated":"2026-04-28T16:53:37Z","snapshot_observed_at":"2026-07-06T23:11:39.318906Z","submitted_at":"2026-04-28T16:53:37Z","title":"From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-07T15:47:28.474020Z"},"links":{"cited_paper":"/paper/2506.17637","citing_paper":"/paper/2604.25847"},"observation_digest":"sha256:21ca59d19aeb6cdb579f0aefb1e1d90319ef0e591e0004bc7e76bf96827e8d54","observation_id":"ccbd1f9b-6ce9-4d5f-a5c8-e9d93f5f328f","resolution":{"observed_at":"2026-05-12T00:06:18.559842Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.17637","snapshot_observed_at":"2026-08-02T14:04:49.583260Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.18256","last_updated":"2026-05-14T06:47:20Z","snapshot_observed_at":"2026-08-16T11:59:33.829064Z","submitted_at":"2026-05-14T06:47:20Z","title":"PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T14:04:49.583260Z"},"links":{"cited_paper":"/paper/2506.17637","citing_paper":"/paper/2607.18256"},"observation_digest":"sha256:24404925d95a9ab3d2310022226f72943f43ce670b9d011ed856c1f0bae1477b","observation_id":"fb66d131-c06b-490f-b327-8009cc5f77e5","resolution":{"observed_at":"2026-08-02T14:04:49.583260Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.17637/citation-record","integrity":"/paper/2506.17637/integrity","json":"/paper/2506.17637/citation-record.json","paper":"/paper/2506.17637"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-15T19:08:50.203725Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.203725Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:4177141e760bf4142d032fcf920cdc1475f36e8f0f7cfa47550f0fab6c925bd2","observation_id":"7911e97d-393a-44ec-b7ab-cb5189f62a86","resolution":{"observed_at":"2026-08-15T19:08:50.203725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.10172","last_updated":"2024-02-15T18:19:18Z","snapshot_observed_at":"2026-08-16T14:18:12.796248Z","submitted_at":"2024-02-15T18:19:18Z","title":"OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.10172","snapshot_observed_at":"2026-08-15T19:08:50.226403Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.226403Z"},"links":{"cited_paper":"/paper/2402.10172","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:7db53f7df6f11a2607e8760e415d8af33cb69c85ea6c4b140a207df1d3e11bc4","observation_id":"660a2e54-186a-460a-885c-2cb9694b3322","resolution":{"observed_at":"2026-08-15T19:08:50.226403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.231133Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.231133Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:1d705e34986dc87b911a1ce94dc5cce6c76e8b195b6a265a54d1e2729d780c2e","observation_id":"ef3b0b23-cec5-4696-83ef-a5670fc0b997","resolution":{"observed_at":"2026-08-15T19:08:50.231133Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.20689","last_updated":"2024-03-29T07:17:39Z","snapshot_observed_at":"2026-08-16T14:47:07.144931Z","submitted_at":"2023-10-31T17:52:22Z","title":"Learning From Mistakes Makes LLM Better Reasoner","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.20689","snapshot_observed_at":"2026-08-15T19:08:50.235898Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.235898Z"},"links":{"cited_paper":"/paper/2310.20689","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:0241cffdab8197bfe4f5188eefcafeb7b7d64f7000ac24700e4ad7a0a559e1a5","observation_id":"2d032211-95a8-44d3-b860-371281188a8a","resolution":{"observed_at":"2026-08-15T19:08:50.235898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.679044Z","title":null,"venue":null,"work_id":"43e8d5ed-59b6-4b28-820e-8b195d128978","year":2020},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.241164Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:0ffbec9d99e9d116a8063f941ae40ae62aa89bf211a416a4d7d57ee9a041a619","observation_id":"b044bfb5-4998-41ac-af69-b420e0f4a3c2","resolution":{"observed_at":"2026-08-15T19:08:51.774925Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.666991Z","title":null,"venue":null,"work_id":"540f7837-eb4f-43d5-a96d-cfcf55bfef98","year":2019},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.244960Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:9ea1c117c250c9f6fd3be44e058c327f8f011eb46d44caa9ff8182948952b285","observation_id":"fdb30b78-450b-41e5-a772-2090f83814d8","resolution":{"observed_at":"2026-08-15T19:08:51.671540Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14361","last_updated":"2024-04-26T19:02:23Z","snapshot_observed_at":"2026-08-16T13:58:48.463257Z","submitted_at":"2024-04-22T17:15:32Z","title":"Better Synthetic Data by Retrieving and Transforming Existing Datasets","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14361","snapshot_observed_at":"2026-08-15T19:08:50.266418Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.266418Z"},"links":{"cited_paper":"/paper/2404.14361","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:12626876f01b2e93e34eaec5edf88b72311b76b1a3fd3807eaa47252a28676bf","observation_id":"215b5992-bac8-449c-9833-5d9dac36adb2","resolution":{"observed_at":"2026-08-15T19:08:50.266418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.360764Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.360764Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:9cb49915b73d3482215acc57ae147b7c2f61149606171241e4278c07d29cd677","observation_id":"e9861607-4e60-4198-a773-f0504a834801","resolution":{"observed_at":"2026-08-15T19:08:50.360764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.537475Z","title":null,"venue":null,"work_id":"d87d5513-478f-4b2e-a543-b12ef1bda651","year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.364907Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:2af79488a69a6114d811ecc8ae91bc477989e46fa3126150d03831bf5a698fd4","observation_id":"2e9f88f8-a7ff-46c4-bfaa-85b11b505702","resolution":{"observed_at":"2026-08-15T19:08:51.620288Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.09685","last_updated":"2021-10-16T18:40:34Z","snapshot_observed_at":"2026-08-17T18:04:53.578114Z","submitted_at":"2021-06-17T17:37:18Z","title":"LoRA: Low-Rank Adaptation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.09685","snapshot_observed_at":"2026-08-15T19:08:50.369585Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.369585Z"},"links":{"cited_paper":"/paper/2106.09685","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:bb3380040a94c282c4e4869821440a42c49f457c6835cc4b252ab8be39a73a35","observation_id":"77400b5d-f0e3-4f65-ae11-a90948344ee1","resolution":{"observed_at":"2026-08-15T19:08:50.369585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-16T13:50:51.185886Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-15T19:08:50.373732Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.373732Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:1164c6ff1ab8716490feb40b8d1f46517bc096be5c49236be98507f2b01356e5","observation_id":"e965049c-3ccc-4587-8848-a4ab327b081d","resolution":{"observed_at":"2026-08-15T19:08:50.373732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-08-17T20:30:34.016254Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-15T19:08:50.449714Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.449714Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:de41eb3bbb0259217ffd8a5aa6748f7a50ee3f8bd38be00e7b12ec8d15f6c427","observation_id":"0221fe9b-d755-423c-a356-246ca6877c45","resolution":{"observed_at":"2026-08-15T19:08:50.449714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.399119Z","title":null,"venue":null,"work_id":"b63fb8f7-a6e2-475b-992f-4d0204ad0bd7","year":2022},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.480415Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:794f67221d5803e377f8849fe21fe4e19e413a107ea5ea149b8df16e3991220a","observation_id":"02c9707e-f4fe-482b-93d9-61fa8679062c","resolution":{"observed_at":"2026-08-15T19:08:51.527755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.03875","last_updated":"2023-07-13T17:29:48Z","snapshot_observed_at":"2026-08-18T00:30:03.804346Z","submitted_at":"2023-07-08T01:42:22Z","title":"Large Language Models for Supply Chain Optimization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.03875","snapshot_observed_at":"2026-08-15T19:08:50.483498Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.483498Z"},"links":{"cited_paper":"/paper/2307.03875","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:c9b5bd8e12896d44e2e6f12feae5593c3ef7addca2192a0f8b558822b89dd4b9","observation_id":"a8b0eb84-16e1-4e9a-804c-250edbe2d267","resolution":{"observed_at":"2026-08-15T19:08:50.483498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.15271","last_updated":"2023-11-26T11:50:56Z","snapshot_observed_at":"2026-08-16T14:40:20.049428Z","submitted_at":"2023-11-26T11:50:56Z","title":"Synthesizing mixed-integer linear programming models from natural language descriptions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.15271","snapshot_observed_at":"2026-08-15T19:08:50.487533Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.487533Z"},"links":{"cited_paper":"/paper/2311.15271","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:d022aea73731bd5512e146c29a507d11ddb2e0eb8f9997fee7ad0ff7ff873bdb","observation_id":"02a77baf-c07e-4d3f-a93d-189472f0f466","resolution":{"observed_at":"2026-08-15T19:08:50.487533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.16833","last_updated":"2023-11-13T13:17:03Z","snapshot_observed_at":"2026-08-16T15:13:15.967080Z","submitted_at":"2023-07-26T02:12:58Z","title":"Data Augmentation for Neural Machine Translation using Generative Language Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.16833","snapshot_observed_at":"2026-08-15T19:08:50.490690Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.490690Z"},"links":{"cited_paper":"/paper/2307.16833","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:5c6afe697dfc3a3724c62f0b09c74802890141a2f80ae2ab08d3bb959cd89319","observation_id":"f57351ef-91d9-4a29-80b8-98b8f3260a31","resolution":{"observed_at":"2026-08-15T19:08:50.490690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.384506Z","title":null,"venue":null,"work_id":"6253a0a4-d9ad-428d-a7a3-54b4e9d68333","year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.527957Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:0cdbcc70034a84ca6bb9549c58aa4d291853112f3695df3f080fd54d4d64af75","observation_id":"a67d1604-4c49-4d53-bee7-d2b7f846ffa7","resolution":{"observed_at":"2026-08-15T19:08:51.389430Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.375359Z","title":null,"venue":null,"work_id":"a80498bc-dc36-4fb8-b144-f60249ac3aa2","year":2022},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.592778Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:0bada1e21515e6f1f4eac69daee1d361d5d91c0d7a874281ec32abc59fe87009","observation_id":"e510c576-e3d6-4076-9e3d-89ec0442cea9","resolution":{"observed_at":"2026-08-15T19:08:51.378797Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.03287","last_updated":"2023-03-30T06:10:00Z","snapshot_observed_at":"2026-08-16T15:44:10.760204Z","submitted_at":"2023-03-30T06:10:00Z","title":"Synthesis of Mathematical programs from Natural Language Specifications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.03287","snapshot_observed_at":"2026-08-15T19:08:50.622043Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.622043Z"},"links":{"cited_paper":"/paper/2304.03287","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:2aae441c4fb23fce9c8bf48e44777e5c9bfeba64ac05c38998dea900fddc6211","observation_id":"6feef4c1-2635-4c3d-815f-2a0e935e014c","resolution":{"observed_at":"2026-08-15T19:08:50.622043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.243978Z","title":null,"venue":null,"work_id":"abb31395-2b2e-4c0d-94e4-1bffc572d6fa","year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.625967Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:ee548c72728fcefa1fff2a740d636cf65b5d12782838049d4fe19c873f17f1f6","observation_id":"e5f61e47-a5fe-49ac-9c00-4ff63608c76d","resolution":{"observed_at":"2026-08-15T19:08:51.304822Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.629164Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.629164Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:6c8c92395ff6328cedb5b0b5c24e048dc20c9746ca810fdf29898c5b96623a7d","observation_id":"5293ebd8-5274-4eea-a526-1030c316d0ed","resolution":{"observed_at":"2026-08-15T19:08:50.629164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17743","last_updated":"2025-04-04T13:31:38Z","snapshot_observed_at":"2026-08-17T16:49:20.212163Z","submitted_at":"2024-05-28T01:55:35Z","title":"ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17743","snapshot_observed_at":"2026-08-15T19:08:50.632812Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.632812Z"},"links":{"cited_paper":"/paper/2405.17743","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:5fd5f12573848f301462925f0ec384489c8a730cff8b5fcaf967f13f9fdaba63","observation_id":"6d6232ae-0a77-4d31-9c48-b6e79904ed6a","resolution":{"observed_at":"2026-08-15T19:08:50.632812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.636122Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.636122Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:69bf2a95f2f5465b3553ae2dac9e49e0cac07c42fd4c8b170f530fd652975d87","observation_id":"a9e4b274-a849-4f45-a1e0-db4b2e12fa15","resolution":{"observed_at":"2026-08-15T19:08:50.636122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10560","last_updated":"2023-05-25T23:50:07Z","snapshot_observed_at":"2026-08-17T06:16:40.579073Z","submitted_at":"2022-12-20T18:59:19Z","title":"Self-Instruct: Aligning Language Models with Self-Generated Instructions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10560","snapshot_observed_at":"2026-08-15T19:08:50.640072Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.640072Z"},"links":{"cited_paper":"/paper/2212.10560","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:44e8798d0e767ebfee072a5e2a9d92caff95869b07b3cc93163c49ab45404b65","observation_id":"2b7c713e-d37e-4cf0-b0fa-0dea9df4564d","resolution":{"observed_at":"2026-08-15T19:08:50.640072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.643672Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.643672Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:990c89217c86e4e7129e7343b46dfa1c28ea3adeb587d3bdd73321edcfb1221d","observation_id":"c0024f15-2e86-4079-ac0e-fb677760aa98","resolution":{"observed_at":"2026-08-15T19:08:50.643672Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.673808Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.673808Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:cc7c90c736716beafa60aeb6cd6e1fcbdc6ef1184199dab669bb5062fab21d0b","observation_id":"3db13bd1-e28a-4e85-a1ee-ea83bdd1e86b","resolution":{"observed_at":"2026-08-15T19:08:50.673808Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:51.134837Z","title":null,"venue":null,"work_id":"25b04ae1-a35a-4df0-8463-15bd3f019b76","year":2023},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.723074Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:a214e5a1e1b3d3219967be8dcb7357ea2ebc8e8b00e65ed439f86eb900d20e07","observation_id":"adfa863e-377d-44bf-ac2b-cbb219686bf3","resolution":{"observed_at":"2026-08-15T19:08:51.211595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.726737Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.726737Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:a8c6abddfb1d6af7cba3d08965596496bad1d1f15cdb4f533bb83610321345f8","observation_id":"a7a20459-3f59-4d25-a89e-98a02e731a58","resolution":{"observed_at":"2026-08-15T19:08:50.726737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-08-17T18:50:07.059564Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-15T19:08:50.730281Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.730281Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:840c9181995dc10c0a3a55cae656973759632dca8c0ebefb1973868f81327c25","observation_id":"9b129796-20db-4930-944c-3e1f963ee41b","resolution":{"observed_at":"2026-08-15T19:08:50.730281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.09887","last_updated":"2025-06-04T07:11:53Z","snapshot_observed_at":"2026-08-17T14:59:50.913967Z","submitted_at":"2024-07-13T13:27:57Z","title":"OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.09887","snapshot_observed_at":"2026-08-15T19:08:50.734027Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.734027Z"},"links":{"cited_paper":"/paper/2407.09887","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:f5331be5136128c369849d28ff33b16b37562dc1116ec495ce2706f83e2f1d81","observation_id":"ea12d466-2b51-4dc9-80d8-d466acc2bc32","resolution":{"observed_at":"2026-08-15T19:08:50.734027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.13372","last_updated":"2024-06-27T22:44:48Z","snapshot_observed_at":"2026-08-17T02:51:06.474773Z","submitted_at":"2024-03-20T08:08:54Z","title":"LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.13372","snapshot_observed_at":"2026-08-15T19:08:50.738161Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.738161Z"},"links":{"cited_paper":"/paper/2403.13372","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:357754e7dba4b81d07e10850aa6a5875e231f13ce22b451cb85795cf86a499c7","observation_id":"d2ed3a4a-6b73-4a3d-8b4d-2f285ebcbaf1","resolution":{"observed_at":"2026-08-15T19:08:50.738161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14365","last_updated":"2024-05-23T09:43:19Z","snapshot_observed_at":"2026-08-16T13:50:17.738666Z","submitted_at":"2024-05-23T09:43:19Z","title":"JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14365","snapshot_observed_at":"2026-08-15T19:08:50.742569Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.742569Z"},"links":{"cited_paper":"/paper/2405.14365","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:dcef0c287d8282df3a3bbc1bc2451b1bae1035c6cc1f0e3fd9f48fcc889da3d6","observation_id":"afeda784-2acd-4322-ba68-5e7e36d41fd2","resolution":{"observed_at":"2026-08-15T19:08:50.742569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.784655Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.784655Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:0140365c954c8ca525ec7e05594fc1f4d82c9f876711a041eac04d35bd8f9815","observation_id":"b27b1a8a-3ba3-40ef-82a2-d197abf87ff9","resolution":{"observed_at":"2026-08-15T19:08:50.784655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:08:50.806389Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.806389Z"},"links":{"citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:8a8a36eb8be61a71aeeb4820666682d580a949c98e32c8a0faff2fd6a9579a19","observation_id":"9f7262b1-761c-4221-80d9-aba9bc46280e","resolution":{"observed_at":"2026-08-15T19:08:50.806389Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-17T22:50:27.113824Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":34,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 4 inbound Pith citation observations for arXiv:2506.17637."}