{"as_of":"2026-08-18T13:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae32dee0d1e99b0b2c3ac1c0fe42e33183118b215107abca2c3699178f3b03d2","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:12:30.840794Z","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-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2509.07867/citation-record","integrity":"/paper/2509.07867/integrity","json":"/paper/2509.07867/citation-record.json","paper":"/paper/2509.07867"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2312.06908","last_updated":"2024-10-01T18:35:10Z","snapshot_observed_at":"2026-08-18T08:56:23.556067Z","submitted_at":"2023-12-12T00:39:24Z","title":"\"I Want It That Way\": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming","version":3},"cited_work":{"arxiv_id":"2312.06908","doi":"10.48550/arxiv.2312.06908","metadata_source":"pith","pith_arxiv_id":"2312.06908","snapshot_observed_at":"2026-08-15T18:16:14.067578Z","title":"\"I Want It That Way\": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming","venue":"cs.HC","work_id":"26b33646-a146-4d03-877b-cda56656582e","year":2023},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.815597Z"},"links":{"cited_paper":"/paper/2312.06908","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:78cfa91d7c219b1d41b9a89aecc10898db630e3d4b750b303584ec07f860ab79","observation_id":"1b24933d-8f07-400a-9969-f876236a0dd6","resolution":{"observed_at":"2026-08-15T16:12:30.925962Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:12:31.163628Z","title":"i want it that way","venue":null,"work_id":"0fbbc39d-8a5f-4066-8387-82f7d104482d","year":2025},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.809694Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:0077a3537a3cd120fb4ef29e344bee0bed90a91fd4ee666fce6e1b4595568571","observation_id":"7e0f962f-930a-4b55-8249-4243fdd78e20","resolution":{"observed_at":"2026-08-15T16:12:31.167559Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.13663","last_updated":"2024-12-19T06:32:26Z","snapshot_observed_at":"2026-08-16T17:36:35.256420Z","submitted_at":"2024-12-18T09:39:44Z","title":"Smarter, Better, Faster, Longer: A Modern Bidirectional Encoder for Fast, Memory Efficient, and Long Context Finetuning and Inference","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.13663","snapshot_observed_at":"2026-08-15T16:12:30.840794Z","title":"37 Xin Zhang, Yanzhao Zhang, Dingkun Long, Wen Xie, Ziqi Dai, Jialong Tang, Huan Lin, Bao- song Yang, Pengjun Xie, Fei Huang, et al","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.840794Z"},"links":{"cited_paper":"/paper/2412.13663","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:1814422c2096636d12df7523242eafcb4571a2f39fdd6b2ede4391878ba53280","observation_id":"1f370314-858a-4ccb-a828-c8db3a9fad6f","resolution":{"observed_at":"2026-08-15T16:12:30.840794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.03575","last_updated":"2022-12-07T11:23:43Z","snapshot_observed_at":"2026-08-18T08:55:56.836426Z","submitted_at":"2022-12-07T11:23:43Z","title":"Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description","version":1},"cited_work":{"arxiv_id":"2212.03575","doi":"10.48550/arxiv.2212.03575","metadata_source":"pith","pith_arxiv_id":"2212.03575","snapshot_observed_at":"2026-08-15T18:16:14.067578Z","title":"Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description","venue":"cs.CL","work_id":"03de1dc7-6eb4-4727-9b05-874bbcf4541f","year":2022},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.801724Z"},"links":{"cited_paper":"/paper/2212.03575","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:e7674a4b3ca1b41b50e65a14c99a9bf7f40c446019090c05882e97e3ae39bfb6","observation_id":"6c967930-be76-472a-96e9-249c0639ea93","resolution":{"observed_at":"2026-08-15T16:12:30.946632Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-15T16:12:31.176355Z","title":"Increasing modeling language convenience with a universal n-dimensional array, cppy as python-embedded example","venue":null,"work_id":"196aef19-0e79-4fa8-b9fd-562b7dce9b67","year":2019},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.790896Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:1d8723608795f0a6291a5ecd8279668833fe7ccaaa47cbc913934c9acac67de8","observation_id":"34d95184-8eaf-4f2c-a4e6-91c0bd3e6b1a","resolution":{"observed_at":"2026-08-15T16:12:31.180657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.04643","last_updated":"2023-02-09T13:57:06Z","snapshot_observed_at":"2026-08-16T20:11:13.523430Z","submitted_at":"2023-02-09T13:57:06Z","title":"A Novel Approach for Auto-Formulation of Optimization Problems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.04643","snapshot_observed_at":"2026-08-15T16:12:30.830756Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.830756Z"},"links":{"cited_paper":"/paper/2302.04643","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:457849a3e88b2e21335e5207b336b3e8775623af623e59472e5e3e0b2e30c8f2","observation_id":"e08aae7c-30ba-4c9c-b589-0e430c2203ed","resolution":{"observed_at":"2026-08-15T16:12:30.830756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-42753-4_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Highlighting named entities in input for auto- formulation of optimization problems","venue":"Lecture notes in computer science","work_id":"21b339a8-0744-4d4c-9c39-e673b9ce14e0","year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.786097Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:1e95eb29e1ee121e8b493f3f6ff21166ebc1788ded36afacf31bf229567f45e7","observation_id":"1bcf2760-1d46-465c-9b1b-e703d6234995","resolution":{"observed_at":"2026-08-15T16:12:30.978952Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.04805","last_updated":"2019-05-24T20:37:26Z","snapshot_observed_at":"2026-08-14T18:16:28.847993Z","submitted_at":"2018-10-11T00:50:01Z","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.04805","snapshot_observed_at":"2026-08-15T16:12:30.781244Z","title":"9 Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.781244Z"},"links":{"cited_paper":"/paper/1810.04805","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:ec6ac5f5033b1bc76745694a276b959b88b001cca6e95088e1ac87aba4d588b9","observation_id":"41ff45f0-db0e-45b6-80fa-a86aa1dd693a","resolution":{"observed_at":"2026-08-15T16:12:30.781244Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1611.03398","last_updated":"2024-08-29T09:26:01Z","snapshot_observed_at":"2026-08-17T14:56:13.662256Z","submitted_at":"2016-11-10T17:00:56Z","title":"XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1611.03398","snapshot_observed_at":"2026-08-15T16:12:30.766694Z","title":"Xcsp3: an integrated format for benchmarking combinatorial constrained problems.arXiv preprint arXiv:1611.03398,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.766694Z"},"links":{"cited_paper":"/paper/1611.03398","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:8fe1fbd98e9dec8f89d23a36a629afa921d126a21b3b7e27e3e1b8c397884191","observation_id":"ba2da9d1-7fc6-4a9f-a3e6-5348e7111db7","resolution":{"observed_at":"2026-08-15T16:12:30.766694Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:12:30.821544Z","title":"BART: Denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.821544Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:9664d12ea967f76329d80d5a94c3ecb93c57d5f2d602ca102920b6efe5a847c8","observation_id":"c15d5ec2-e658-46d3-93a1-0215e2b65c00","resolution":{"observed_at":"2026-08-15T16:12:30.821544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.00539","last_updated":"2025-04-06T08:39:04Z","snapshot_observed_at":"2026-08-18T08:54:51.803384Z","submitted_at":"2024-12-31T16:49:27Z","title":"MCP-Solver: Integrating Language Models with Constraint Programming Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.00539","snapshot_observed_at":"2026-08-15T16:12:30.836588Z","title":"MCP-solver: Integrating language models with constraint programming systems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.836588Z"},"links":{"cited_paper":"/paper/2501.00539","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:f7b1644bd9c380c8c21a2bdabe6a8ca0e3a537d0c33962db4aa2a2302d0e41b3","observation_id":"49cbcc51-c3fd-46cf-88fb-037051f4f6c3","resolution":{"observed_at":"2026-08-15T16:12:30.836588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-08-16T16:55:21.330482Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-15T16:12:30.797210Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.797210Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:e32ec070fd089b1f3cb52543fc2ad7418889a4ebce51be310807362a6d9d79ea","observation_id":"0d01bd19-4d49-42eb-8692-4c4136d922c3","resolution":{"observed_at":"2026-08-15T16:12:30.797210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2501.08406","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:12:31.086245Z","title":"OptiChat: Bridging optimization models and practitioners with large language models","venue":null,"work_id":"3dfd1f27-99b0-4613-8e8b-e3e0cbacf02b","year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.772481Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:dd3ece51e03d0d55404618bbaac93ac932672cc79cf4c08353c20c0bd17266bf","observation_id":"9d693121-e811-4c57-858f-22e7334e026d","resolution":{"observed_at":"2026-08-15T16:12:31.092045Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:12:30.826494Z","title":"26 Kostis Michailidis, Dimos Tsouros, and Tias Guns","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.826494Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:046e6f6c4dea1e5b5ae168a267b71a33e60516699f6c0cc722c18368eff2bbf1","observation_id":"97a75233-335f-497a-840f-a14bd77c5082","resolution":{"observed_at":"2026-08-15T16:12:30.826494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:12:31.189227Z","title":"URL: https://cacm.acm.org/news/ the-impact-of-ai-on-computer-science-education/","venue":null,"work_id":"01c64bd5-b761-4cb1-ac50-b87e288dad79","year":2025},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.776982Z"},"links":{"citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:47207c5bf48e77b3ca5bf7d5fa73772c1b5ade3233f7cf49de7441a14aaafe1c","observation_id":"8145f643-973b-4adf-a0a4-46a12586bff4","resolution":{"observed_at":"2026-08-15T16:12:31.193886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.00117","last_updated":"2024-11-28T08:16:40Z","snapshot_observed_at":"2026-08-12T10:37:25.437704Z","submitted_at":"2024-11-28T08:16:40Z","title":"Proceedings of the 2024 XCSP3 Competition","version":1},"cited_work":{"arxiv_id":"2412.00117","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.00117","snapshot_observed_at":"2026-08-15T16:12:31.139482Z","title":"Proceedings of the 2024 XCSP3 Competition","venue":"cs.AI","work_id":"8bc1afff-1c13-4d5f-a512-ea5b6f91d30a","year":2024},"citing_paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-15T16:12:30.761865Z"},"links":{"cited_paper":"/paper/2412.00117","citing_paper":"/paper/2509.07867"},"observation_digest":"sha256:cfc057471f85237a6b8af33cabe33c980df4e6dbd024c7c16b0a7866f7952b25","observation_id":"b138a293-16d6-4178-8cbb-4f81957acf31","resolution":{"observed_at":"2026-08-15T16:12:31.144805Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.07867","last_updated":"2025-09-09T15:55:15Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-18T08:55:41.582027Z","submitted_at":"2025-09-09T15:55:15Z","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":8,"verified_exact":3,"verified_fuzzy":3},"total_outbound_references":16},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2509.07867."}