Paper Citation Record · LEDGER

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2407.09887.

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

pith.paper-citation-record.v1
2407.09887 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 14 of 14 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T20:20:07.316705Z

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 73bc69c2-e1d9-476b-81b4-8449ee6923b3 · 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 OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 88

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7d068cc-1a9a-43b8-a591-df90929808b5 · inbound

OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scaling cites this paper.

OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scaling OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-16T16:18:05.390439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7e44d329-8889-42bf-9d87-644fc7c5d0c0 · inbound

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

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 9

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 67128f47-78f5-4abb-97ff-8a3978a444e6 · inbound

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

Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 95

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a37fc80e-4bc3-4a19-937e-889762681210 · 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 OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 25

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T00:06:18.414297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b25d43f2-82bf-4f79-bd8a-7c4133441bdf · inbound

FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization cites this paper.

FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-07-01T16:35:50.672044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 04c8868b-58ee-4aec-9c39-ba4e6cc12d13 · inbound

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

Generating Robust Portfolios of Optimization Models using Large Language Models OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 7

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1ee6f713-861a-4418-8299-c541dbca3b29 · inbound

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:20:07.318482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f6de65e3-5066-4294-a85b-5f8ce43c2dbc · inbound

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-04T13:19:50.717600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6e2f6da4-456b-4678-bd28-6e041765755b · inbound

A$^{2}$utoLPBench: An Auto-Generated, Agent-Friendly LP Benchmark via Inverse-KKT Construction cites this paper.

A$^{2}$utoLPBench: An Auto-Generated, Agent-Friendly LP Benchmark via Inverse-KKT Construction OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-03T14:18:22.642292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 04db4152-1814-48db-8c98-21a30dd27b64 · 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 OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad45008e-8614-498b-8813-eae2c1780ddb · 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 OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 533ab34f-2727-4fa5-9589-bb3884ec6e32 · inbound

Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design cites this paper.

Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T08:09:49.393810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afa62ad4-3ee9-44f0-84c9-8ea21c26c2f6 · 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 OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.