{"as_of":"2026-08-16T01:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:03eed4e53d0074ce43d7d5925a0b5838c4d89252ab3a9ec28ec9091a12c65092","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-15T06:32:42.880941+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-15T19:02:35.154396Z","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-14T23:47:46.512966Z","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:0357d8018a598acda44501e119148d0559a460f058ff6704cb6e373df885ef1b","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-15T19:02:35.154396Z","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-14T19:10:27.233432Z","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:9393f20ab9f6404265c4bfe3080edccd822420a433bf522d31dfcc91bb63a020","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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:78bc80830f178dfcdffe26583190d4ec232ebf4c4fa32ff47e9278d9153b783e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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-15T15:18:09.208315Z","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:b4798f177a177763f1ae929768afde36b35d6ba02f54d451caba13f5023b03ec","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-07T07:30:12.213965Z","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-15T19:02:35.154396Z","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:157815c198ed10a76ba3b28fee6ecea609a9c3827c8e9f013e169be15a54dc88","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-14T07:12:00.312243Z","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-15T19:02:35.154396Z","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:27c0ba545aeb6a9f57221a1b78bd1ce390ad3e5f493826c0bcb1be0314859b94","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-15T19:02:35.154396Z","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:8cdf9a86800444168737d6882145ba54108f5e562331a1397cc710f4b754f59b","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-15T10:24:07.801510Z","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-15T19:02:35.154396Z","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:b621cf3c72aa77a4ecc22d1b0a9add91b65cec5def7b37bee9c6aacf72e7286b","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-15T19:02:35.154396Z","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:8bfabfbdd882447f6f7a223a087949144d6a664c884b82436468dad9a9ba1aee","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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:92d265b59c7d9e84ec05e560aede5b4ad8e79b7cf00c331941ae96b50f57fa6d","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T00:24:28.936882Z","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-15T19:02:35.154396Z","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:4e86202f5e7d45287a6adb4c3dc6c84726cf02e565d635694d834f7179262296","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-15T19:02:35.154396Z","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:e2f144aad319f8a5542acde04261c42fee7ae92f4b166d3965839b0f213c9de9","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-15T19:02:35.154396Z","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:0942815a1ea92966380d67ff2404a26b8f8a2aee76ba6aa82bd501dbb70d856e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-11T08:20:29.798517Z","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-15T19:02:35.154396Z","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:2233d3c01e72570f47016252ca955d7fc3ddedba8516fbe5e1a631ce57028a0d","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-13T00:02:43.111149Z","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-15T19:02:35.154396Z","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:5b11acb758495a4df346e556e9059b1acf6a967e82325c7cec8b158012cfb79e","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-07-06T02:11:23.670680Z","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-15T19:02:35.154396Z","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:af0ab425ba484e022a0bdf5a7b1458e13d85b940a8d32f01466260121c29c795","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-15T19:02:35.154396Z","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:3be073f069d51726211cf94b82962ab325a6aecc249a487640cf60b4e8bc08b5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T17:05:16.897700Z","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-15T19:02:35.154396Z","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:cb5d16f42b66ec014fa1c8bf24055d90fdd9dbe9fa50d72dbd56275af3ae05d5","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-15T08:00:39.414276Z","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-15T19:02:35.154396Z","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:3066c8cf9992c1e9f648dbe94c14aeb26f2a3a8c07fb20a4c21c40216585facf","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-13T10:47:52.800201Z","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-15T19:02:35.154396Z","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:936758a9ee74321bc428897e49f6283b97897c21cc38f9494286a76673a8ef70","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-15T19:02:35.154396Z","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:4605d5fcc92bb8db3cc3585a4c6b3c076da6ff99d6c55ec78befca654ae7797f","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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:46d609035b1f73ccad231ca90f23f388b30ccedd41a32745f1ac201d450ea6a4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T12:13:31.667155Z","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-15T19:02:35.154396Z","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:0d90f24ec898ce5af3a581ba5e3f55cc0dd5af89a3335a79c77a1e35e087e970","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-15T19:02:35.154396Z","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:0f8fe2a9124271db148075c61f505ac14a5dc3e284e7a11e1d47933e4ab93158","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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:735dd4d58ab7766043dec03dd33d034f1dd3c3f8a22e319cf3cd3857f62aff27","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-12T23:56:36.982845Z","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-15T19:02:35.154396Z","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:d78c17569b7e02221cb54781c77713ac129765856df23006a5e9cb02ba0632ea","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-15T19:02:35.154396Z","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:7fa7b59d30d253f84accb434856455d0642c75e4f324ed5a83cacdc8f47886b7","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-15T15:06:42.719366Z","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-15T19:02:35.154396Z","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:6778fa3dc11fcf0cbd456e504cc19774801b64aff4167994d93bd56975c4e0b4","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-15T19:02:35.154396Z","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:511e03576afaa8325bf7bc5fba90e4ca007a82975bd25489cda5cd4c1e447152","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-15T19:02:35.154396Z","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:7fdc1456d8b0e92d97abf26d6c72377c2ed0eb5503784e2a2dbdd3a15aa4d9b1","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-15T19:02:35.154396Z","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:e18d6740d1d80cccdec2cf790bb90f15cfef5e6fecb109214f0dd3c4ef8c9348","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T19:02:35.154396Z","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:8005983401b4516c09266f82b7dfcd2bdfc427d210d5a69b9867268bf2a72788","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-07-06T02:11:23.670680Z","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-15T19:02:35.154396Z","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:08112c43fb5a21f99bf1f98460e4d2cb0d10b9305be1d479a52864fd86281c4e","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-12T23:22:51.823978Z","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-15T19:02:35.154396Z","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:a0517c9664f475d649544357aefcf6fa8f12a8c3265143bdb4da0f196a39c6a6","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-07-06T02:11:23.670680Z","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-15T19:02:35.154396Z","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:7995661169586ad9d3bdbdc0a9eb35c0e5dd653139e5e199bf4c4c8aef4ddf3c","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-13T00:00:46.056902Z","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-15T19:02:35.154396Z","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:5eebd7cc39d1e71efb46b5d6c1a9d4908c7cdc3500b82d95f30882952475fef9","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-15T19:02:35.154396Z","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:2a706b3b6139846391f2f80ccf7b8f4a7aa183d78e1ec5f4a958119615949598","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-15T19:02:35.154396Z","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:32b326b403badb71833d5a694dde0a55801c52560175963b42c0b6dc7cbe41dc","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-15T19:02:35.154396Z","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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 4 inbound Pith citation observations for arXiv:2506.17637."}