Pith. sign in

Paper Citation Record · LEDGER

VyZX : A Vision for Verifying the ZX Calculus

As of 15 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-15T06:32:42.880941+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-15T06:32:42.880941+00:00.

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

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:ddb49d519937a1a79bc1a1bbd529f7a8f628fc09ab40327f0fcaf6d373e1304d

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:96c5ddd8feacdbba6965c0604f6182f7f69261588dc692175bcff1579f7de5fd