Paper Citation Record · LEDGER

LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 16 inbound Pith citation observations for arXiv:2405.13144.

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

pith.paper-citation-record.v1
2405.13144 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 16 of 16 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:34:30.122117Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-29T12:53:26.357310Z

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 1ec9202f-2527-4281-b28d-1ae55981aa3d · inbound

Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows cites this paper.

Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T23:34:30.122117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a519d0d4-25d1-40a9-bc64-3446174fe3b2 · inbound

DualSchool: How Reliable are LLMs for Optimization Education? cites this paper.

DualSchool: How Reliable are LLMs for Optimization Education? LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T13:26:46.623366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 6bb320cb-63d1-4dcf-8b0b-a306dabb997d · 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 LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 75

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c48c5e5-85d3-490e-b70a-b78bc1918023 · inbound

SciML Agents: Write the Solver, Not the Solution cites this paper.

SciML Agents: Write the Solver, Not the Solution LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-18T18:01:43.831257Z

Source-reported events for the cited work

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

Observation 10e626b4-8851-45d7-a097-e136214d8173 · inbound

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

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c14fa036-499b-427a-9c7e-364ef0d9f57d · inbound

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization cites this paper.

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-05-15T21:30:21.015302Z

Source-reported events for the cited work

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

Observation 44bd34a5-b9fc-4063-80b2-4cf2cd427df8 · inbound

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

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 21

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

Source-reported events for the cited work

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

Observation 71693229-7cd9-470a-b9bc-cf620b043dff · inbound

Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization cites this paper.

Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 118

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:23:37.834514Z

Source-reported events for the cited work

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

Observation 8e082ab1-fa68-41c6-ada9-e07949443622 · inbound

PARM: Pipeline-Adapted Reward Model cites this paper.

PARM: Pipeline-Adapted Reward Model LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:28:39.507525Z

Source-reported events for the cited work

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

Observation 962f31a9-8ed1-47ba-ba2a-e166dd65a02c · inbound

OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization Agents cites this paper.

OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization Agents LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-06-29T12:53:26.358979Z

Source-reported events for the cited work

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

Observation cb42ba5a-428f-4d7d-ad7d-8aca70ae6379 · inbound

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification cites this paper.

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 5

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T07:13:16.759894Z

Source-reported events for the cited work

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

Observation 1876b177-eb26-4a99-ab9b-2a01451a8217 · inbound

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits cites this paper.

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T20:26:11.354232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00a19128-7189-41e5-a4c9-9c7cd34646c5 · 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 LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 36

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385e47be-37ba-4c22-ae8d-6d6c5f3ea384 · inbound

SLAI T-Rex: Full-Parameter Post-training of the DeepSeek-V4 Family on Ascend SuperPOD cites this paper.

SLAI T-Rex: Full-Parameter Post-training of the DeepSeek-V4 Family on Ascend SuperPOD LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T10:42:38.162881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 592b889b-6529-4670-88cb-2dd464f97a87 · inbound

Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language Models cites this paper.

Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language Models LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T02:03:03.489029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.