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-07T06:34:17.273281+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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-05-10T16:12:53.141667Z digest=sha256:5c5412294f913a8f004d9b064b71f2273b874d10797f9296fad438b775a5b5b4

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-05-21T03:56:29.983335Z digest=sha256:673b715ff12cfb6d5e003760c06741a26d697b732e32ecbeb5d11b74de5fd4a1

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-06-26T05:18:55.074710Z digest=sha256:623beff756eeb34e842f318955c427fecc09962f40ab377cb2d06b71fdf622ab

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