Paper Citation Record · LEDGER

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models

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.

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

pith.paper-citation-record.v1
2509.07867 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:12:30.840794Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

16 of 16 outbound references displayed

verified exact3
verified fuzzy3
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1b24933d-8f07-400a-9969-f876236a0dd6 · outbound

This paper cites "I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models "I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T16:12:30.925962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7e0f962f-930a-4b55-8249-4243fdd78e20 · outbound

This paper cites i want it that way.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models i want it that way

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:12:31.167559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1f370314-858a-4ccb-a828-c8db3a9fad6f · outbound

This paper cites Smarter, Better, Faster, Longer: A Modern Bidirectional Encoder for Fast, Memory Efficient, and Long Context Finetuning and Inference.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Smarter, Better, Faster, Longer: A Modern Bidirectional Encoder for Fast, Memory Efficient, and Long Context Finetuning and Inference

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.840794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c967930-be76-472a-96e9-249c0639ea93 · outbound

This paper cites Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description

Reference 1988

Resolution: verified exact; local_arxiv, observed 2026-08-15T16:12:30.946632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 34d95184-8eaf-4f2c-a4e6-91c0bd3e6b1a · outbound

This paper cites Increasing modeling language convenience with a universal n-dimensional array, cppy as python-embedded example.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Increasing modeling language convenience with a universal n-dimensional array, cppy as python-embedded example

Reference 1999

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:12:31.180657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e08aae7c-30ba-4c9c-b589-0e430c2203ed · outbound

This paper cites A Novel Approach for Auto-Formulation of Optimization Problems.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models A Novel Approach for Auto-Formulation of Optimization Problems

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.830756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bcf2760-1d46-465c-9b1b-e703d6234995 · outbound

This paper cites Highlighting named entities in input for auto- formulation of optimization problems.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Highlighting named entities in input for auto- formulation of optimization problems

Reference 2008

Resolution: verified exact; doi, observed 2026-08-15T16:12:30.978952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 41ff45f0-db0e-45b6-80fa-a86aa1dd693a · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.781244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba2da9d1-7fc6-4a9f-a3e6-5348e7111db7 · outbound

This paper cites XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Reference 2010

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.766694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c15d5ec2-e658-46d3-93a1-0215e2b65c00 · outbound

This paper cites BART: Denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models BART: Denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.821544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49cbcc51-c3fd-46cf-88fb-037051f4f6c3 · outbound

This paper cites MCP-Solver: Integrating Language Models with Constraint Programming Systems.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models MCP-Solver: Integrating Language Models with Constraint Programming Systems

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.836588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d01bd19-4d49-42eb-8692-4c4136d922c3 · outbound

This paper cites Formal Specifications from Natural Language.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Formal Specifications from Natural Language

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.797210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d693121-e811-4c57-858f-22e7334e026d · outbound

This paper cites OptiChat: Bridging optimization models and practitioners with large language models.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models OptiChat: Bridging optimization models and practitioners with large language models

Reference 2021

Resolution: verified exact; doi, observed 2026-08-15T16:12:31.092045Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 97a75233-335f-497a-840f-a14bd77c5082 · outbound

This paper cites 26 Kostis Michailidis, Dimos Tsouros, and Tias Guns.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models 26 Kostis Michailidis, Dimos Tsouros, and Tias Guns

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-15T16:12:30.826494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8145f643-973b-4adf-a0a4-46a12586bff4 · outbound

This paper cites URL: https://cacm.acm.org/news/ the-impact-of-ai-on-computer-science-education/.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models URL: https://cacm.acm.org/news/ the-impact-of-ai-on-computer-science-education/

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:12:31.193886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b138a293-16d6-4178-8cbb-4f81957acf31 · outbound

This paper cites Proceedings of the 2024 XCSP3 Competition.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Proceedings of the 2024 XCSP3 Competition

Reference 2024

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T16:12:31.144805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.