{"as_of":"2026-08-19T19:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:40e45ec169c35078ecfaa37a57199d08da971378c75f0233d1b22911c5021e2d","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-30T22:00:11.348564Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T20:26:10.814394Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.23966","snapshot_observed_at":"2026-08-01T20:26:10.814394Z","title":"arXiv preprint arXiv:2605.23966 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16646","last_updated":"2026-07-18T05:32:37Z","snapshot_observed_at":"2026-08-16T23:39:10.314957Z","submitted_at":"2026-07-18T05:32:37Z","title":"Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-01T20:26:10.814394Z"},"links":{"cited_paper":"/paper/2605.23966","citing_paper":"/paper/2607.16646"},"observation_digest":"sha256:cb6a1c238912afa4a8d525914f2c2212225ca870954e050ce87bced91e32ca9e","observation_id":"6effe9d1-36fe-4372-b65b-81b1331eae96","resolution":{"observed_at":"2026-08-01T20:26:10.814394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.23966/citation-record","integrity":"/paper/2605.23966/integrity","json":"/paper/2605.23966/citation-record.json","paper":"/paper/2605.23966"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.489124Z","title":"Optimization of supply chain networks with inclusion of labor: Applications to covid-19 pandemic disruptions,","venue":null,"work_id":"774e2eaf-5097-46ed-91de-8e7bdef493b1","year":2021},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:657e33c6964adb546b94de8549c10c970c003cb735e3dcb528beb367385904fa","observation_id":"25d6d847-8f5a-4200-ba39-151fdc15bf10","resolution":{"observed_at":"2026-07-07T15:13:54.490226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.494102Z","title":"Learning to solve large-scale security-constrained unit commitment problems","venue":null,"work_id":"f5db5df6-675a-4d56-a39b-ebf1e64bbc8f","year":2021},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:151066ed503eb1016a285481502bd2ae527e5c968cd6ff6fdd09e4f1b763e725","observation_id":"88e95ab1-3303-4870-bea2-7b5d19b188e4","resolution":{"observed_at":"2026-07-07T15:13:54.495342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.495925Z","title":"The two-echelon production-routing problem,","venue":null,"work_id":"f49233f0-7c5e-439b-9ef6-ca30849d9669","year":2021},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:9041cb5b037e8104d384da6df647d4394726d0516115926ce4bf2898c95af22f","observation_id":"01d0bd86-2a77-45af-93cf-a509c6c7e327","resolution":{"observed_at":"2026-07-07T15:13:54.497062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.499478Z","title":null,"venue":null,"work_id":"27befa6b-3e0e-43c9-9443-44c56e71736d","year":2013},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:f3a462aa37c76b5f4a6605a736ff74136a5f2a4a398cbf34ac48e3df97ee940f","observation_id":"ebdab221-5c9c-4cd7-bb67-735c70be79e4","resolution":{"observed_at":"2026-07-07T15:13:54.500496Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.487258Z","title":"A survey of optimization modeling meets llms: progress and future directions,","venue":null,"work_id":"96819075-fa6b-4d67-a46b-787c34c24ea6","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:70c2a07cb36c7c57db0c08ae3a9ce68b672270df0f1a6449f871da7222939c74","observation_id":"78a63b74-8c5a-4a9c-be19-30eca5e3c16b","resolution":{"observed_at":"2026-07-07T15:13:54.488613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.497643Z","title":"Large language models in operations research: Methods, applications, and challenges,","venue":null,"work_id":"128cc483-b30b-4fc0-b26b-dd8cdae4e225","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:a383a3cb7a7fa297ab6d0312929dd68f7625cd246b0c83167c36cc7c3a36f971","observation_id":"cec9c70a-bb21-4262-a940-91f552f4e378","resolution":{"observed_at":"2026-07-07T15:13:54.498911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.492495Z","title":"LLMOPT: Learning to define and solve general optimization problems from scratch,","venue":null,"work_id":"0deb670a-7bf9-40c6-9308-47169f16ed9e","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:624e4c9c1fb3fb2ce280438acfcaa137b7e1a3657d8f2dc69d42140003e1a780","observation_id":"d96bc372-99cf-4ef7-a8f1-a9dd7bd521b3","resolution":{"observed_at":"2026-07-07T15:13:54.493564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.483775Z","title":"Autoformulation of mathematical optimization models using llms,","venue":null,"work_id":"d30d1775-5487-4752-989f-ee98603a1a0a","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:afe5afdeb7f791853b351fdd90635cce6db635d89932d4bf153d95d33f9bff23","observation_id":"c7728e6c-1bec-4bae-9d5d-e6fd59644a84","resolution":{"observed_at":"2026-07-07T15:13:54.484895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.485435Z","title":"Optimization modeling and verification from problem specifications using a multi-agent multi-stage llm framework,","venue":null,"work_id":"6cb0e5f8-a026-423d-b7c5-74ba2c9e9696","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:7802d2b99c6e02f4fb8fce5cbe4b7dd1e55a4366cf9840ca7072e9b6d3171669","observation_id":"b9b7f528-2112-4ac8-9435-d14e6ef2203e","resolution":{"observed_at":"2026-07-07T15:13:54.486702Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.490774Z","title":"Enhancing decision making through the integra- tion of large language models and operations research optimization,","venue":null,"work_id":"81b7441e-f8e7-4573-92ef-b537812c5b94","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:0658f0e201fe77ad48f08f795a88cf36072c7ca4e83bd0b7e33211a530a083ec","observation_id":"c07409f2-0b96-4ece-83f3-3f347119034b","resolution":{"observed_at":"2026-07-07T15:13:54.491957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.466256Z","title":"Orlm: A customizable framework in training large models for automated optimization modeling,","venue":null,"work_id":"2b50ad5c-2bcf-4b24-8902-7dc5930761c4","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:a38cbbd485a49a8d45927a27fc2dfcc2307fa9f3156660be7b0fa7fe46ab0e9d","observation_id":"fe2d2e63-12b6-41e5-baef-bf71e0c4f156","resolution":{"observed_at":"2026-07-07T15:13:54.467468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.476742Z","title":"Optmath: A scalable bidirectional data synthesis framework for optimization modeling,","venue":null,"work_id":"bcaa8f87-676d-4ca6-be71-689ce9b13ca4","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:78121cf3de71f2cf66029eb6ecb927448b8f47843de5bafeaafad9c535f54702","observation_id":"0206568a-bf03-4014-823a-dfa34a9e4f62","resolution":{"observed_at":"2026-07-07T15:13:54.477970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.468027Z","title":"Solver-informed RL: Grounding large language models for authentic optimization modeling,","venue":null,"work_id":"b73eaf4e-30a2-4f97-b1db-be9fed1b98cf","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:03fba56de2b64c9b828e7bdf4d928caf4cea917207b6da2337fdc842a7d24058","observation_id":"d5c9f6fc-7292-4658-a0f5-2f509d0b22c5","resolution":{"observed_at":"2026-07-07T15:13:54.469206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.462753Z","title":"Tdag: A multi-agent framework based on dynamic task decomposition and agent generation,","venue":null,"work_id":"fc8f325a-8cb3-4e27-8dc7-6be305968229","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:9cefd047d096010c2f58e1b21b4f1270c4c942c879708a654bb06ad23ddf27c0","observation_id":"f8cda2d0-3fe7-4abb-bd97-46dac6eccb10","resolution":{"observed_at":"2026-07-07T15:13:54.463952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.464488Z","title":"Chain-of-experts: When LLMs meet complex opera- tions research problems,","venue":null,"work_id":"5dbd735e-722f-4cab-9477-1784d948f7ee","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:b7c76acb88605d2611aa04e194ed0bb09e06b9bb66c94e2b92461b8a66314ecf","observation_id":"8a969401-3aaf-4b8e-8429-12d244b69e2d","resolution":{"observed_at":"2026-07-07T15:13:54.465693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.469762Z","title":"Optimai: Optimization from natural language using llm-powered ai agents,","venue":null,"work_id":"f762aab1-d21f-4007-b445-98a68f5f752a","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:c4bdab4df1f5689f46201cad2d85d1e142da8789065486a4a036ab021057bfa8","observation_id":"34c02d03-1548-4ee6-b1b4-8d1e7d7f7af8","resolution":{"observed_at":"2026-07-07T15:13:54.470983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.471530Z","title":"Or-llm-agent: Automating modeling and solving of operations research optimization problems with reasoning llm,","venue":null,"work_id":"5f7e639f-06d4-4914-abe3-ac32273e8fb1","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:f40a9fe67ab7e83438de91ffdd3bf2b47bd0e4eddd26b8c544de549552cdf270","observation_id":"0b96e5ee-028a-4534-b324-1043acebf84f","resolution":{"observed_at":"2026-07-07T15:13:54.472713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.480286Z","title":"CVXPY: A Python-embedded modeling language for convex optimization,","venue":null,"work_id":"23557486-4e6e-4050-ad07-48778c1886fc","year":2016},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:531caf673e160d475aa0916c12c10c5cce34985dd2b4eae2e3affd1567ac98ff","observation_id":"1714d512-2ca4-486a-9ceb-44cb1086670a","resolution":{"observed_at":"2026-07-07T15:13:54.481535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.455704Z","title":"Accessed: Mar","venue":null,"work_id":"aaf5f441-79a7-4d4b-bd19-234c79e05bb6","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:d7145a1885e1f18d7145069c08cbd4e19c654bdb3de22e23d2352577d7df3ee1","observation_id":"b57d4c2f-b259-4128-b296-073c1abf3de1","resolution":{"observed_at":"2026-07-07T15:13:54.456851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.448149Z","title":"Perron and V","venue":null,"work_id":"c697a4a3-6fb2-4088-aa4d-ac4f8db21677","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:72f97f3df5d31c70cba942a1ecf6f827a3721f489fe5700d203ea1412f106e37","observation_id":"4f463ab0-2bf8-4bec-be75-3e678b324b67","resolution":{"observed_at":"2026-07-07T15:13:54.449405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.450041Z","title":"Optibench meets resocratic: Measure and improve LLMs for optimization modeling,","venue":null,"work_id":"4d1eada6-bd3a-46dc-ba64-042f163a2601","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:75a220e65e973f9a8aaff991db3bf34a4173537ffb257cbbab9009bda47c8a05","observation_id":"d542e134-c98a-42da-84f7-e19f04d7146c","resolution":{"observed_at":"2026-07-07T15:13:54.451407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.452042Z","title":"Optimind: Teaching llms to think like optimization experts,","venue":null,"work_id":"c422d72c-9c4c-429c-ba0a-06e32d326b86","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:6960d2d72dbfe3d5d48b8d48a2c5347e7a99b8eaebcd583b067dbca168af5630","observation_id":"84fd4144-6db5-4e8f-b5ae-205b62df695d","resolution":{"observed_at":"2026-07-07T15:13:54.453288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.441858Z","title":"Holy grail 2.0: From natural language to constraint models,","venue":null,"work_id":"d935d812-869f-4e80-be98-fe988ccacceb","year":2023},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:6db19a85ae3466216d2acf74b6950cdb3d70e89e2aff4f83787bc2d515deb743","observation_id":"74d7db5f-322b-40ce-8072-fe32eb4f0f6b","resolution":{"observed_at":"2026-07-07T15:13:54.443130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.444304Z","title":"Optimus: Scalable opti- mization modeling with (mi) lp solvers and large language models,","venue":null,"work_id":"e74947b1-cab9-413a-a6e6-28bfc60a1024","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:e1012e1fe95e1e3f16267723572dd059a8537e99ab5f67511c8152ae6cf5b679","observation_id":"8656136b-4af6-4d21-b407-fe1772d04234","resolution":{"observed_at":"2026-07-07T15:13:54.445588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.436292Z","title":"Optitree: Hierarchical thoughts generation with tree search for LLM optimization modeling,","venue":null,"work_id":"81e31846-1909-48cd-91d3-1c028e871ee4","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:67b42cadbcea3235c35e5ec074965d891bbcb969d34295afc3f646c5323b6c88","observation_id":"c8558e67-d3ee-4898-915d-ff152ce6c59a","resolution":{"observed_at":"2026-07-07T15:13:54.437538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.432879Z","title":"Constraint Modelling with LLMs Using In-Context Learning,","venue":null,"work_id":"ea0da592-f1b8-425c-8c08-cd55a7e400ca","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:7270130172b30c7ac795aad76b4c7bb522f4d99ebeea9d3177fe9ef2411a93e1","observation_id":"2011a0d7-3360-400a-a568-a13b49714397","resolution":{"observed_at":"2026-07-07T15:13:54.434019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.438120Z","title":"Sac-opt: Semantic anchors for iterative correction in optimization modeling,","venue":null,"work_id":"2c1fc1dc-a513-4b1e-aceb-5fc593f0a9ba","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:479ae6031d46e33fcaf6c064ddfe9ddb5c8a2d07a7cb7fb0573ca8477bee6b7e","observation_id":"9606b961-e353-46dc-848a-de9c4e9e16f4","resolution":{"observed_at":"2026-07-07T15:13:54.439371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.439940Z","title":"Self-refine: Iterative refinement with self-feedback,","venue":null,"work_id":"49400e09-1aaa-47ad-baff-bb5c6e20c0fd","year":2023},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:24d0c9415127cc61c9441ebc6cfda848721e1f19b7ab1d4f5daf0abd3ba916db","observation_id":"11fd6bdb-589c-4bbf-ad38-832085bca26d","resolution":{"observed_at":"2026-07-07T15:13:54.441121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.446279Z","title":"Let’s verify step by step,","venue":null,"work_id":"d68e42c2-f910-47d5-a42f-93a48dccd76c","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:ccd8e47c9e147d8711f495ec0b24765ddc2e973b436aae480947ccffbb98cbff","observation_id":"3828f651-fc09-482e-94a6-e73c2659dd17","resolution":{"observed_at":"2026-07-07T15:13:54.447494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.453851Z","title":"Teaching large language models to self-debug","venue":null,"work_id":"ad357c4c-bdbc-4753-9f55-1d970735eea8","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:698ef08409854cd2d7be75baad94c07a51a4da7523d910762950ca02c310d2ce","observation_id":"908b20d3-9ff0-456b-9281-6309ad85bfe5","resolution":{"observed_at":"2026-07-07T15:13:54.455122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.457423Z","title":"CRITIC: Large language models can self-correct with tool-interactive critiquing,","venue":null,"work_id":"a19f3260-c15b-4c49-a0db-fb97ccecb72c","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:0585c887677e289bdf0d819799f91e36e6a21893bac0442b7964e8527f36e4df","observation_id":"7d0df587-3f9e-4719-abd3-8081cab3457e","resolution":{"observed_at":"2026-07-07T15:13:54.458572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.459161Z","title":"From flat logs to causal graphs: Hierarchical failure attribution for llm-based multi-agent sys- tems,","venue":null,"work_id":"d5c7b144-c3eb-42fb-8b12-dbdcd368ec64","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:1811ca9cebc68d7ff5c6246d841c6761c092122ca0203cdd5e85d327d4bea6d1","observation_id":"a36bd0c7-f966-49a0-b38f-618a9b41c3bb","resolution":{"observed_at":"2026-07-07T15:13:54.460363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.434524Z","title":"Optiver: Unleashing the power of LLMs for optimization modeling via dual-side verification,","venue":null,"work_id":"ef35dc24-c6f0-41f4-bc1c-b004565704f3","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:8f1d1bc60a5478ecdac9a14ac9af18ab40d09b4b032b5f4c19a92757de0f0b45","observation_id":"e1f48b8c-e196-4090-8fcc-a56bd3cd0686","resolution":{"observed_at":"2026-07-07T15:13:54.435667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.431067Z","title":"An agent-based frame- work for the automatic validation of mathematical optimization models,","venue":null,"work_id":"05bd696b-304c-47b0-8904-9a61814987e8","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:71342bc793e0a28bc969d9dfb73f562ec4ccd88c48598fe8ac6f2f7b8d8f2fe3","observation_id":"fdfe5295-85fe-4721-adf8-c1aa45b53858","resolution":{"observed_at":"2026-07-07T15:13:54.432289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.427463Z","title":"React: Synergizing reasoning and acting in language models,","venue":null,"work_id":"099012bc-0db5-4f38-9356-74e3a5584549","year":2023},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:66e751486b15fb3422aa9a694c64fa4191423b11068e01ff59e3cfb2ccb7fb63","observation_id":"59831b99-417f-4dd7-9bf2-f8c0d529d720","resolution":{"observed_at":"2026-07-07T15:13:54.428645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.425717Z","title":"Code repair with llms gives an exploration-exploitation tradeoff,","venue":null,"work_id":"041b12eb-241e-4e2c-90ad-448f03072118","year":2024},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:bf2320f5e3f3a431edf5ebad5a40987d6be53ece73423d59f0588f9f6843a6aa","observation_id":"29040f85-8ef0-463b-a453-07d6a6afb5eb","resolution":{"observed_at":"2026-07-07T15:13:54.426882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.429279Z","title":"Cp-bench: Evaluating large language models for constraint modelling,","venue":null,"work_id":"e4033741-e9af-4aaf-8c26-f92230216b13","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:f4594aac599fd37dcb303c8a308a105ba706598008a4ab01dd32580ccdee30a9","observation_id":"2c0b9b48-71fd-485c-838a-8709cec5660e","resolution":{"observed_at":"2026-07-07T15:13:54.430472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.460942Z","title":"Hard constraints meet soft generation: Guaranteed feasibility for llm-based combinatorial optimization,","venue":null,"work_id":"cbc3dce2-827c-4cab-a3f4-2a2ad0abd7c6","year":2026},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:f7615e97745f25170e20789b91296cee1eaf75b8dc9e2258ae259deab713472b","observation_id":"83875dd8-9eee-4eef-bd4f-8d24f3d0b839","resolution":{"observed_at":"2026-07-07T15:13:54.462131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.474965Z","title":"Nl4opt competition: Formulating optimization problems based on their natural language descriptions,","venue":null,"work_id":"9a6a5c22-4850-46cc-936a-718288aeab23","year":2022},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:256d0c5e7c10f1b1c6dc793f777ec53a0554fed139c5ff374d2686797e399e2a","observation_id":"c7985642-f862-4918-a985-e70084192719","resolution":{"observed_at":"2026-07-07T15:13:54.476135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.473238Z","title":"Llms for mathe- matical modeling: Towards bridging the gap between natural and math- ematical languages,","venue":null,"work_id":"4de64238-8009-4974-a61b-057bf114a87f","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:e3931eceda519c3bd00e909842c65adf5ed685dffab4ffcded6e20c4f1faaff2","observation_id":"5704db76-b27a-4a32-a737-4dd90f2cb57d","resolution":{"observed_at":"2026-07-07T15:13:54.474347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.478560Z","title":"Deepseek-v3.2: Pushing the frontier of open large language models,","venue":null,"work_id":"577ee683-7b56-4541-ad25-f68b91ab7c85","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:b0201fa337f5eafdaa430752d2ad934498ed067ed4294ea9fbd79e31b36b7b18","observation_id":"6956fd09-efb5-4a74-be8f-30754098d522","resolution":{"observed_at":"2026-07-07T15:13:54.479724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T15:13:54.482070Z","title":"GPT-5.1: A smarter, more conversational ChatGPT,","venue":null,"work_id":"fe322cfb-fc76-4c6c-b624-736ddb4e5dfc","year":2025},"citing_paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-30T22:00:11.348564Z"},"links":{"citing_paper":"/paper/2605.23966"},"observation_digest":"sha256:fb0cdf1c7d041ae99ecc05c0293a6b935f03f2d07d8beea5d894956478d13f95","observation_id":"1acb8332-f623-4d6e-9781-71e3cc2a56be","resolution":{"observed_at":"2026-07-07T15:13:54.483251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.23966","last_updated":"2026-05-12T23:13:20Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-14T19:01:25.313861Z","submitted_at":"2026-05-12T23:13:20Z","title":"TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":41},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"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."}