Pith. sign in

Paper Citation Record · LEDGER

VyZX : A Vision for Verifying the ZX Calculus

As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2205.05781.

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

pith.paper-citation-record.v1
2205.05781 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 3 of 3 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 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T18:24:04.660785Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

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

External citation measurements

4
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation a9330745-c4d9-444b-8226-645da77fdf90 · inbound

Typed compositional quantum computation with lenses cites this paper.

Typed compositional quantum computation with lenses VyZX : A Vision for Verifying the ZX Calculus

Reference 12

Resolution
verified exact
arxiv_id, observed 2026-05-24T06:39:01.170298Z

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.

source=arxiv_source observed=2026-05-24T06:36:25.528587Z digest=sha256:a7a3bd25c4e152b2ca8b170fe79763a3b7c66b5258b1879cdfc9f43b8ff27af2

Observation 22c5a330-cfce-4f93-acc6-1b20a8bf3b00 · inbound

Automating Equational Proofs in Dirac Notation cites this paper.

Automating Equational Proofs in Dirac Notation VyZX : A Vision for Verifying the ZX Calculus

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-12T18:24:04.660785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T18:24:04.660785Z digest=sha256:ef8f72036e995c21d3a2462369634261a407551bc76a4665056a8131c9bf1774

Observation 74c6a9de-1709-46fa-b1f4-e0d74b77b9b0 · inbound

Laws of Quantum Programming cites this paper.

Laws of Quantum Programming VyZX : A Vision for Verifying the ZX Calculus

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-11T00:41:27.288059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-11T00:41:27.288059Z digest=sha256:be19b08baa41743eeb73313e7f87430ead782138f0a29d44c9b9da61ac43e43c