Paper Citation Record · LEDGER

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation

As of 15 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 4 inbound Pith citation observations for arXiv:2506.17637.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.17637 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:08:50.806389Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T20:55:41.469052Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-12T00:06:18.555367Z

Reference resolution

34 of 34 outbound references displayed

verified exact0
verified fuzzy0
unresolved34
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7911e97d-393a-44ec-b7ab-cb5189f62a86 · outbound

This paper cites GPT-4 Technical Report.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.203725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 660a2e54-186a-460a-885c-2cb9694b3322 · outbound

This paper cites OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.226403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef3b0b23-cec5-4696-83ef-a5670fc0b997 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.231133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d032211-95a8-44d3-b860-371281188a8a · outbound

This paper cites Learning From Mistakes Makes LLM Better Reasoner.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Learning From Mistakes Makes LLM Better Reasoner

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.235898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b044bfb5-4998-41ac-af69-b420e0f4a3c2 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.774925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fdb30b78-450b-41e5-a772-2090f83814d8 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.671540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 215b5992-bac8-449c-9833-5d9dac36adb2 · outbound

This paper cites Better Synthetic Data by Retrieving and Transforming Existing Datasets.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Better Synthetic Data by Retrieving and Transforming Existing Datasets

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.266418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9861607-4e60-4198-a773-f0504a834801 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.360764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e9f88f8-a7ff-46c4-bfaa-85b11b505702 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.620288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 77400b5d-f0e3-4f65-ae11-a90948344ee1 · outbound

This paper cites LoRA: Low-Rank Adaptation of Large Language Models.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation LoRA: Low-Rank Adaptation of Large Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.369585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e965049c-3ccc-4587-8848-a4ab327b081d · outbound

This paper cites LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.373732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0221fe9b-d755-423c-a356-246ca6877c45 · outbound

This paper cites Mistral 7B.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Mistral 7B

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.449714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02c9707e-f4fe-482b-93d9-61fa8679062c · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.527755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a8b0eb84-16e1-4e9a-804c-250edbe2d267 · outbound

This paper cites Large Language Models for Supply Chain Optimization.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Large Language Models for Supply Chain Optimization

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.483498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02a77baf-c07e-4d3f-a93d-189472f0f466 · outbound

This paper cites Synthesizing mixed-integer linear programming models from natural language descriptions.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Synthesizing mixed-integer linear programming models from natural language descriptions

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.487533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f57351ef-91d9-4a29-80b8-98b8f3260a31 · outbound

This paper cites Data Augmentation for Neural Machine Translation using Generative Language Model.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Data Augmentation for Neural Machine Translation using Generative Language Model

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.490690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a67d1604-4c49-4d53-bee7-d2b7f846ffa7 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.389430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e510c576-e3d6-4076-9e3d-89ec0442cea9 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.378797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6feef4c1-2635-4c3d-815f-2a0e935e014c · outbound

This paper cites Synthesis of Mathematical programs from Natural Language Specifications.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Synthesis of Mathematical programs from Natural Language Specifications

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.622043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5f61e47-a5fe-49ac-9c00-4ff63608c76d · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.304822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5293ebd8-5274-4eea-a526-1030c316d0ed · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.629164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d6232ae-0a77-4d31-9c48-b6e79904ed6a · outbound

This paper cites ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.632812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9e4b274-a849-4f45-a1e0-db4b2e12fa15 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.636122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b7c713e-d37e-4cf0-b0fa-0dea9df4564d · outbound

This paper cites Self-Instruct: Aligning Language Models with Self-Generated Instructions.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Self-Instruct: Aligning Language Models with Self-Generated Instructions

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.640072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0024f15-2e86-4079-ac0e-fb677760aa98 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.643672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3db13bd1-e28a-4e85-a1ee-ea83bdd1e86b · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.673808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adfa863e-377d-44bf-ac2b-cbb219686bf3 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:08:51.211595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a7a20459-3f59-4d25-a89e-98a02e731a58 · outbound

This paper cites an unresolved cited work.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.726737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b129796-20db-4930-944c-3e1f963ee41b · outbound

This paper cites Qwen2.5 Technical Report.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation Qwen2.5 Technical Report

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.730281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea12d466-2b51-4dc9-80d8-d466acc2bc32 · outbound

This paper cites OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.734027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2ed3a4a-6b73-4a3d-8b4d-2f285ebcbaf1 · outbound

This paper cites LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.738161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afeda784-2acd-4322-ba68-5e7e36d41fd2 · outbound

This paper cites JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.742569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b27b1a8a-3ba3-40ef-82a2-d197abf87ff9 · outbound

This paper cites online" 'onlinestring :=.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation online" 'onlinestring :=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.784655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f7262b1-761c-4221-80d9-aba9bc46280e · outbound

This paper cites write newline.

Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation write newline

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T19:08:50.806389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 2436e462-cd51-4bcb-b9e0-b2dffeec8f30 · inbound

A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solving cites this paper.

A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solving Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-04T20:55:41.469052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e83cb6e-96d7-4ffd-adc7-cc07621aa4d9 · inbound

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems cites this paper.

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-10T07:11:53.600430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ccbd1f9b-6ce9-4d5f-a5c8-e9d93f5f328f · inbound

From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling cites this paper.

From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:06:18.559842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fb66d131-c06b-490f-b327-8009cc5f77e5 · inbound

PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language cites this paper.

PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T14:04:49.583260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.