Pith. sign in

Paper Citation Record · LEDGER

Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2503.10642.

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

pith.paper-citation-record.v1
2503.10642 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T14:04:56.172334Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T20:20:07.357753Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 6a9595d6-a152-4f7b-8927-c257fa3e18d9 · inbound

CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers cites this paper.

CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Reference 23

Resolution
verified exact
arxiv_id, observed 2026-05-11T09:10:59.865668Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-10T16:12:53.141667Z digest=sha256:22da8e0cf67ec2c9521f852157be3197375babbbe82b3d428ec79f6c2607bb7c

Observation 4e05cd89-4555-440a-84a7-47b2107e232b · inbound

Large Language Models for Operations Research: A Comprehensive Survey cites this paper.

Large Language Models for Operations Research: A Comprehensive Survey Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Reference 164

Resolution
verified exact
arxiv_id, observed 2026-05-21T03:59:32.578978Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-21T03:56:29.983335Z digest=sha256:633073185ece9bf305b0af6056c42700db6fbbc521a1e37f40b846a0df3b7ecc

Observation ece158a2-d7ca-46d1-bcf0-f4a4973baee0 · inbound

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Reference 8

Resolution
metadata mismatch
arxiv_id, observed 2026-07-04T20:20:07.359311Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-06-25T20:19:30.720291Z digest=sha256:df157d643d0c45ed04a1f897bd5c1ec614a855f2be5d81dbc595cced41268036

Observation 399c839a-1b29-4ec3-bda6-eacd2eea4c50 · inbound

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.

MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Reference 8

Resolution
metadata mismatch
arxiv_id, observed 2026-07-04T13:19:50.759703Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-06-26T05:18:55.074710Z digest=sha256:266bd91d62c3514308c85ecb714d0c79290c9266a3fc0cf58da6d2fc2d2a1f23

Observation 2de910a9-8479-4a6f-9aeb-bda3c8526859 · inbound

PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language cites this paper.

PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-02T14:04:56.172334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-02T14:04:56.172334Z digest=sha256:013dc2f1a93458368d6125c18df21f1d4bd3041da2b0d53b51ac780d59a3f5a1