Paper Citation Record · LEDGER

Autoformulation of Mathematical Optimization Models Using LLMs

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2411.01679.

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

pith.paper-citation-record.v1
2411.01679 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T22:38:19.792986Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-29T16:53:40.875463Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 80e738f5-4625-466e-a17d-b976eca26cf8 · inbound

Active Task Disambiguation with LLMs cites this paper.

Active Task Disambiguation with LLMs Autoformulation of Mathematical Optimization Models Using LLMs

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-08T22:38:19.792986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6330d384-c46a-4073-9773-216910b5034d · 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 Autoformulation of Mathematical Optimization Models Using LLMs

Reference 82

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 673e95f1-0281-4467-aed1-8882cef186fc · inbound

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling cites this paper.

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling Autoformulation of Mathematical Optimization Models Using LLMs

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T14:42:28.136835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 331ced53-92d4-42e7-8621-aa11da2b348e · inbound

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

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems Autoformulation of Mathematical Optimization Models Using LLMs

Reference 1

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

Source-reported events for the cited work

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

Observation baf26cf4-2721-4d8c-88d5-abee69d0feb0 · inbound

ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modeling cites this paper.

ORPilot: A Production-Oriented Agentic LLM-for-OR Tool for Optimization Modeling Autoformulation of Mathematical Optimization Models Using LLMs

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-09T06:05:36.091327Z

Source-reported events for the cited work

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

Observation 8388c92d-a3e0-4bc5-8dea-78d5297dc666 · inbound

Budget-Efficient Automatic Algorithm Design via Code Graph cites this paper.

Budget-Efficient Automatic Algorithm Design via Code Graph Autoformulation of Mathematical Optimization Models Using LLMs

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-12T07:06:25.456372Z

Source-reported events for the cited work

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

Observation d582ad94-70df-48f5-ad05-fb762469956a · inbound

Generating Robust Portfolios of Optimization Models using Large Language Models cites this paper.

Generating Robust Portfolios of Optimization Models using Large Language Models Autoformulation of Mathematical Optimization Models Using LLMs

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:53:40.877048Z

Source-reported events for the cited work

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

Observation 56718a6a-5981-494c-be1d-99cbfdec7e65 · inbound

Coupled Hierarchical Search over Topology and Execution for Agentic Workflow Synthesis cites this paper.

Coupled Hierarchical Search over Topology and Execution for Agentic Workflow Synthesis Autoformulation of Mathematical Optimization Models Using LLMs

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T13:37:07.465162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.