Paper Citation Record · LEDGER

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling

As of 19 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2605.23966.

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

pith.paper-citation-record.v1
2605.23966 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-30T22:00:11.348564Z

measured 43 of 43 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T20:26:10.814394Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

42 of 42 outbound references displayed

verified exact0
verified fuzzy41
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 25d6d847-8f5a-4200-ba39-151fdc15bf10 · outbound

This paper cites Optimization of supply chain networks with inclusion of labor: Applications to covid-19 pandemic disruptions,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optimization of supply chain networks with inclusion of labor: Applications to covid-19 pandemic disruptions,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.490226Z

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 88e95ab1-3303-4870-bea2-7b5d19b188e4 · outbound

This paper cites Learning to solve large-scale security-constrained unit commitment problems.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Learning to solve large-scale security-constrained unit commitment problems

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.495342Z

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 01d0bd86-2a77-45af-93cf-a509c6c7e327 · outbound

This paper cites The two-echelon production-routing problem,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling The two-echelon production-routing problem,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.497062Z

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 ebdab221-5c9c-4cd7-bb67-735c70be79e4 · outbound

This paper cites an unresolved cited work.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-07-07T15:13:54.500496Z

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 78a63b74-8c5a-4a9c-be19-30eca5e3c16b · outbound

This paper cites A survey of optimization modeling meets llms: progress and future directions,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling A survey of optimization modeling meets llms: progress and future directions,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.488613Z

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 cec9c70a-bb21-4262-a940-91f552f4e378 · outbound

This paper cites Large language models in operations research: Methods, applications, and challenges,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Large language models in operations research: Methods, applications, and challenges,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.498911Z

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 d96bc372-99cf-4ef7-a8f1-a9dd7bd521b3 · outbound

This paper cites LLMOPT: Learning to define and solve general optimization problems from scratch,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling LLMOPT: Learning to define and solve general optimization problems from scratch,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.493564Z

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 c7728e6c-1bec-4bae-9d5d-e6fd59644a84 · outbound

This paper cites Autoformulation of mathematical optimization models using llms,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Autoformulation of mathematical optimization models using llms,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.484895Z

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 b9b7f528-2112-4ac8-9435-d14e6ef2203e · outbound

This paper cites Optimization modeling and verification from problem specifications using a multi-agent multi-stage llm framework,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optimization modeling and verification from problem specifications using a multi-agent multi-stage llm framework,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.486702Z

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 c07409f2-0b96-4ece-83f3-3f347119034b · outbound

This paper cites Enhancing decision making through the integra- tion of large language models and operations research optimization,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Enhancing decision making through the integra- tion of large language models and operations research optimization,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.491957Z

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 fe2d2e63-12b6-41e5-baef-bf71e0c4f156 · outbound

This paper cites Orlm: A customizable framework in training large models for automated optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Orlm: A customizable framework in training large models for automated optimization modeling,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.467468Z

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 0206568a-bf03-4014-823a-dfa34a9e4f62 · outbound

This paper cites Optmath: A scalable bidirectional data synthesis framework for optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optmath: A scalable bidirectional data synthesis framework for optimization modeling,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.477970Z

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 d5c9f6fc-7292-4658-a0f5-2f509d0b22c5 · outbound

This paper cites Solver-informed RL: Grounding large language models for authentic optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Solver-informed RL: Grounding large language models for authentic optimization modeling,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.469206Z

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 f8cda2d0-3fe7-4abb-bd97-46dac6eccb10 · outbound

This paper cites Tdag: A multi-agent framework based on dynamic task decomposition and agent generation,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Tdag: A multi-agent framework based on dynamic task decomposition and agent generation,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.463952Z

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 8a969401-3aaf-4b8e-8429-12d244b69e2d · outbound

This paper cites Chain-of-experts: When LLMs meet complex opera- tions research problems,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Chain-of-experts: When LLMs meet complex opera- tions research problems,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.465693Z

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 34c02d03-1548-4ee6-b1b4-8d1e7d7f7af8 · outbound

This paper cites Optimai: Optimization from natural language using llm-powered ai agents,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optimai: Optimization from natural language using llm-powered ai agents,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.470983Z

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 0b96e5ee-028a-4534-b324-1043acebf84f · outbound

This paper cites Or-llm-agent: Automating modeling and solving of operations research optimization problems with reasoning llm,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Or-llm-agent: Automating modeling and solving of operations research optimization problems with reasoning llm,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.472713Z

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 1714d512-2ca4-486a-9ceb-44cb1086670a · outbound

This paper cites CVXPY: A Python-embedded modeling language for convex optimization,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling CVXPY: A Python-embedded modeling language for convex optimization,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.481535Z

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 b57d4c2f-b259-4128-b296-073c1abf3de1 · outbound

This paper cites Accessed: Mar.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Accessed: Mar

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.456851Z

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 4f463ab0-2bf8-4bec-be75-3e678b324b67 · outbound

This paper cites Perron and V.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Perron and V

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.449405Z

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 d542e134-c98a-42da-84f7-e19f04d7146c · outbound

This paper cites Optibench meets resocratic: Measure and improve LLMs for optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optibench meets resocratic: Measure and improve LLMs for optimization modeling,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.451407Z

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 84fd4144-6db5-4e8f-b5ae-205b62df695d · outbound

This paper cites Optimind: Teaching llms to think like optimization experts,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optimind: Teaching llms to think like optimization experts,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.453288Z

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 74d7db5f-322b-40ce-8072-fe32eb4f0f6b · outbound

This paper cites Holy grail 2.0: From natural language to constraint models,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Holy grail 2.0: From natural language to constraint models,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.443130Z

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 8656136b-4af6-4d21-b407-fe1772d04234 · outbound

This paper cites Optimus: Scalable opti- mization modeling with (mi) lp solvers and large language models,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optimus: Scalable opti- mization modeling with (mi) lp solvers and large language models,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.445588Z

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 c8558e67-d3ee-4898-915d-ff152ce6c59a · outbound

This paper cites Optitree: Hierarchical thoughts generation with tree search for LLM optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optitree: Hierarchical thoughts generation with tree search for LLM optimization modeling,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.437538Z

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 2011a0d7-3360-400a-a568-a13b49714397 · outbound

This paper cites Constraint Modelling with LLMs Using In-Context Learning,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Constraint Modelling with LLMs Using In-Context Learning,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.434019Z

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 9606b961-e353-46dc-848a-de9c4e9e16f4 · outbound

This paper cites Sac-opt: Semantic anchors for iterative correction in optimization modeling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Sac-opt: Semantic anchors for iterative correction in optimization modeling,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.439371Z

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 11fd6bdb-589c-4bbf-ad38-832085bca26d · outbound

This paper cites Self-refine: Iterative refinement with self-feedback,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Self-refine: Iterative refinement with self-feedback,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.441121Z

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 3828f651-fc09-482e-94a6-e73c2659dd17 · outbound

This paper cites Let’s verify step by step,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Let’s verify step by step,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.447494Z

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 908b20d3-9ff0-456b-9281-6309ad85bfe5 · outbound

This paper cites Teaching large language models to self-debug.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Teaching large language models to self-debug

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.455122Z

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 7d0df587-3f9e-4719-abd3-8081cab3457e · outbound

This paper cites CRITIC: Large language models can self-correct with tool-interactive critiquing,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling CRITIC: Large language models can self-correct with tool-interactive critiquing,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.458572Z

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 a36bd0c7-f966-49a0-b38f-618a9b41c3bb · outbound

This paper cites From flat logs to causal graphs: Hierarchical failure attribution for llm-based multi-agent sys- tems,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling From flat logs to causal graphs: Hierarchical failure attribution for llm-based multi-agent sys- tems,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.460363Z

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 e1f48b8c-e196-4090-8fcc-a56bd3cd0686 · outbound

This paper cites Optiver: Unleashing the power of LLMs for optimization modeling via dual-side verification,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Optiver: Unleashing the power of LLMs for optimization modeling via dual-side verification,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.435667Z

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 fdfe5295-85fe-4721-adf8-c1aa45b53858 · outbound

This paper cites An agent-based frame- work for the automatic validation of mathematical optimization models,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling An agent-based frame- work for the automatic validation of mathematical optimization models,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.432289Z

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 59831b99-417f-4dd7-9bf2-f8c0d529d720 · outbound

This paper cites React: Synergizing reasoning and acting in language models,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling React: Synergizing reasoning and acting in language models,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.428645Z

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 29040f85-8ef0-463b-a453-07d6a6afb5eb · outbound

This paper cites Code repair with llms gives an exploration-exploitation tradeoff,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Code repair with llms gives an exploration-exploitation tradeoff,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.426882Z

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 2c0b9b48-71fd-485c-838a-8709cec5660e · outbound

This paper cites Cp-bench: Evaluating large language models for constraint modelling,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Cp-bench: Evaluating large language models for constraint modelling,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.430472Z

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 83875dd8-9eee-4eef-bd4f-8d24f3d0b839 · outbound

This paper cites Hard constraints meet soft generation: Guaranteed feasibility for llm-based combinatorial optimization,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Hard constraints meet soft generation: Guaranteed feasibility for llm-based combinatorial optimization,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.462131Z

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 c7985642-f862-4918-a985-e70084192719 · outbound

This paper cites Nl4opt competition: Formulating optimization problems based on their natural language descriptions,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Nl4opt competition: Formulating optimization problems based on their natural language descriptions,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.476135Z

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 5704db76-b27a-4a32-a737-4dd90f2cb57d · outbound

This paper cites Llms for mathe- matical modeling: Towards bridging the gap between natural and math- ematical languages,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Llms for mathe- matical modeling: Towards bridging the gap between natural and math- ematical languages,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.474347Z

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 6956fd09-efb5-4a74-be8f-30754098d522 · outbound

This paper cites Deepseek-v3.2: Pushing the frontier of open large language models,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Deepseek-v3.2: Pushing the frontier of open large language models,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.479724Z

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 1acb8332-f623-4d6e-9781-71e3cc2a56be · outbound

This paper cites GPT-5.1: A smarter, more conversational ChatGPT,.

TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling GPT-5.1: A smarter, more conversational ChatGPT,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T15:13:54.483251Z

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.

Pith citing papers

Observation 6effe9d1-36fe-4372-b65b-81b1331eae96 · 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 TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.