{"as_of":"2026-08-23T00:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7883d160973173c17a5190f12a91f958cb296a9cd41c5dcd6f1d95892824dfc6","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":16,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:34:30.122117Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-29T12:53:26.357310Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-15T23:34:30.122117Z","title":"MAMO: a mathematical modeling benchmark with solvers","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.04354","last_updated":"2025-05-07T12:07:49Z","snapshot_observed_at":"2026-08-20T04:50:02.587555Z","submitted_at":"2025-05-07T12:07:49Z","title":"Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T23:34:30.122117Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2505.04354"},"observation_digest":"sha256:f21498ad75c901513babf153ae28926d6676dcc2ca9141af0e398e6ea4d64e97","observation_id":"1ec9202f-2527-4281-b28d-1ae55981aa3d","resolution":{"observed_at":"2026-08-15T23:34:30.122117Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-07T13:26:46.623366Z","title":"Mamo: a mathematical modeling benchmark with solvers","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.21775","last_updated":"2025-05-27T21:19:33Z","snapshot_observed_at":"2026-08-18T16:49:10.729905Z","submitted_at":"2025-05-27T21:19:33Z","title":"DualSchool: How Reliable are LLMs for Optimization Education?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:26:46.623366Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2505.21775"},"observation_digest":"sha256:ae694ddc2a85cd56c7dcda5c8270553b1594cccca6c8695a461f7a25e26f0c77","observation_id":"a519d0d4-25d1-40a9-bc64-3446174fe3b2","resolution":{"observed_at":"2026-08-07T13:26:46.623366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-15T19:08:50.373732Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17637","last_updated":"2025-06-21T08:42:27Z","snapshot_observed_at":"2026-08-18T23:17:59.261293Z","submitted_at":"2025-06-21T08:42:27Z","title":"Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validation","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T19:08:50.373732Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2506.17637"},"observation_digest":"sha256:649bd3e168551ee4b60dccd4d5d1df02cad31c64e4142377c11929ed5d8f96aa","observation_id":"e965049c-3ccc-4587-8848-a4ab327b081d","resolution":{"observed_at":"2026-08-15T19:08:50.373732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-04T20:55:41.398530Z","title":"Llms for math- ematical modeling: Towards bridging the gap between natural and mathematical languages,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08269","last_updated":"2026-08-19T09:09:41Z","snapshot_observed_at":"2026-08-22T23:09:09.517916Z","submitted_at":"2025-09-10T04:05:54Z","title":"A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solving","version":6},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-04T20:55:41.398530Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2509.08269"},"observation_digest":"sha256:96118abb5a958e30c81cf621642f9775d19767d8392210a0b0a5b2479a4a700c","observation_id":"6bb320cb-63d1-4dcf-8b0b-a306dabb997d","resolution":{"observed_at":"2026-08-04T20:55:41.398530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2509.09936","last_updated":"2025-09-12T02:53:57Z","snapshot_observed_at":"2026-08-15T00:05:44.942927Z","submitted_at":"2025-09-12T02:53:57Z","title":"SciML Agents: Write the Solver, Not the Solution","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-18T17:57:51.444493Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2509.09936"},"observation_digest":"sha256:1d21532c35e1663be90d191eddc4ded2278b4db8abb4c68e092d922f9c9dcb96","observation_id":"4c48c5e5-85d3-490e-b70a-b78bc1918023","resolution":{"observed_at":"2026-05-18T18:01:43.831257Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-04T14:42:29.565445Z","title":"Mamo: a mathematical modeling benchmark with solvers","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.05115","last_updated":"2026-05-29T07:07:01Z","snapshot_observed_at":"2026-08-14T05:21:41.109881Z","submitted_at":"2025-09-28T12:25:31Z","title":"SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-04T14:42:29.565445Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2510.05115"},"observation_digest":"sha256:07983f26d2d11cdad0ae748cc9ecd85eef0323fa7cab31417f2b6ad074c01c6f","observation_id":"10e626b4-8851-45d7-a097-e136214d8173","resolution":{"observed_at":"2026-08-04T14:42:29.565445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2602.15983","last_updated":"2026-08-16T14:07:55Z","snapshot_observed_at":"2026-08-20T23:12:18.971548Z","submitted_at":"2026-02-17T20:20:33Z","title":"ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-15T21:21:39.598396Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2602.15983"},"observation_digest":"sha256:e1427b058de5f62d502b340cc2b61312a085df38138aaa4dccea408d620b0171","observation_id":"c14fa036-499b-427a-9c7e-364ef0d9f57d","resolution":{"observed_at":"2026-05-15T21:30:21.015302Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2604.16804","last_updated":"2026-08-19T16:48:08Z","snapshot_observed_at":"2026-08-22T23:11:48.948834Z","submitted_at":"2026-04-18T03:24:54Z","title":"AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T07:02:02.992871Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2604.16804"},"observation_digest":"sha256:35806df519a2d18628d13c9a81884cd2ca2a6aa71723735c5ddaf2e70f47fec8","observation_id":"44bd34a5-b9fc-4063-80b2-4cf2cd427df8","resolution":{"observed_at":"2026-05-10T07:11:53.622054Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2604.17708","last_updated":"2026-06-02T08:20:34Z","snapshot_observed_at":"2026-08-12T12:58:25.847937Z","submitted_at":"2026-04-20T01:44:18Z","title":"Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization","version":1},"reference_index":118,"source":"arxiv_source","source_observed_at":"2026-05-10T05:21:51.915690Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2604.17708"},"observation_digest":"sha256:c7f3fa81c9625eaa393e1758f9c7631e5a3ffe24d71ad4abb3b831057de71def","observation_id":"71693229-7cd9-470a-b9bc-cf620b043dff","resolution":{"observed_at":"2026-05-10T09:23:37.834514Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2604.18327","last_updated":"2026-04-20T14:29:08Z","snapshot_observed_at":"2026-08-16T23:43:02.320623Z","submitted_at":"2026-04-20T14:29:08Z","title":"PARM: Pipeline-Adapted Reward Model","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T05:15:26.015817Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2604.18327"},"observation_digest":"sha256:49c1ef2bb101a365a05b2a08290869606c059f57dc13df6eff5608e49c5aba9c","observation_id":"8e082ab1-fa68-41c6-ada9-e07949443622","resolution":{"observed_at":"2026-05-10T09:28:39.507525Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2605.28158","last_updated":"2026-05-27T08:41:30Z","snapshot_observed_at":"2026-08-14T02:04:28.516119Z","submitted_at":"2026-05-27T08:41:30Z","title":"OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization Agents","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-29T12:52:20.911788Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2605.28158"},"observation_digest":"sha256:42842099ded6b9452726aefc909582fd1f8c2dbaad55958acd56e2d116cf5583","observation_id":"962f31a9-8ed1-47ba-ba2a-e166dd65a02c","resolution":{"observed_at":"2026-06-29T12:53:26.358979Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":"2405.13144","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-06-29T12:53:26.357310Z","title":"Mamo: A mathematical modeling benchmark with solvers","venue":null,"work_id":"970ae819-d1fe-4b93-84dd-2d5ea5330a61","year":2025},"citing_paper":{"arxiv_id":"2605.29556","last_updated":"2026-05-28T08:09:52Z","snapshot_observed_at":"2026-08-01T18:04:26.229552Z","submitted_at":"2026-05-28T08:09:52Z","title":"Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-29T07:06:37.209428Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2605.29556"},"observation_digest":"sha256:72d41fc0764d92fe2d93faf73d4cefc7c01a670fc76fa7d3e410432294269981","observation_id":"cb42ba5a-428f-4d7d-ad7d-8aca70ae6379","resolution":{"observed_at":"2026-06-29T07:13:16.759894Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-01T20:26:11.354232Z","title":"arXiv preprint arXiv:2405.13144 , 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":20,"source":"arxiv_source","source_observed_at":"2026-08-01T20:26:11.354232Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2607.16646"},"observation_digest":"sha256:8f183cb49b73982d137fe2cd35c341417e54de8ace2c74a45e2d5fb53b87eb0b","observation_id":"1876b177-eb26-4a99-ab9b-2a01451a8217","resolution":{"observed_at":"2026-08-01T20:26:11.354232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-02T14:04:52.899166Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.18256","last_updated":"2026-05-14T06:47:20Z","snapshot_observed_at":"2026-08-16T11:59:33.829064Z","submitted_at":"2026-05-14T06:47:20Z","title":"PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T14:04:52.899166Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2607.18256"},"observation_digest":"sha256:8ce7d15375d1d45e8c1682cde17427e41e2081e256a9b2a56e9a6880b348bd5c","observation_id":"00a19128-7189-41e5-a4c9-9c7cd34646c5","resolution":{"observed_at":"2026-08-02T14:04:52.899166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-01T10:42:38.162881Z","title":"CoRR , volume =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20145","last_updated":"2026-08-19T09:30:55Z","snapshot_observed_at":"2026-08-22T23:09:41.489271Z","submitted_at":"2026-07-22T13:49:17Z","title":"SLAI T-Rex: Full-Parameter Post-training of the DeepSeek-V4 Family on Ascend SuperPOD","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-01T10:42:38.162881Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2607.20145"},"observation_digest":"sha256:d1510127a498df8af0286a70b280de0fb302d2c5db62aba9e72c17e7b9e30e21","observation_id":"385e47be-37ba-4c22-ae8d-6d6c5f3ea384","resolution":{"observed_at":"2026-08-01T10:42:38.162881Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.13144","snapshot_observed_at":"2026-08-04T02:03:03.489029Z","title":"arXiv preprint arXiv:2405.13144 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00019","last_updated":"2026-07-01T10:39:54Z","snapshot_observed_at":"2026-08-09T09:56:58.991511Z","submitted_at":"2026-07-01T10:39:54Z","title":"Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language Models","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T02:03:03.489029Z"},"links":{"cited_paper":"/paper/2405.13144","citing_paper":"/paper/2608.00019"},"observation_digest":"sha256:4d1e73f3c286ac65a00dd68924e8e1521d0b463f305f6fa64279ecd590e7293a","observation_id":"592b889b-6529-4670-88cb-2dd464f97a87","resolution":{"observed_at":"2026-08-04T02:03:03.489029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2405.13144/citation-record","integrity":"/paper/2405.13144/integrity","json":"/paper/2405.13144/citation-record.json","paper":"/paper/2405.13144"},"outbound":[],"paper":{"arxiv_id":"2405.13144","last_updated":"2025-02-15T13:45:56Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-22T18:55:41.099234Z","submitted_at":"2024-05-21T18:29:54Z","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 16 inbound Pith citation observations for arXiv:2405.13144."}