Paper Citation Record · LEDGER

Noise-aware Verification and Synthesis of Quantum Programs

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

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

pith.paper-citation-record.v1
2608.05807 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T23:21:42.984027Z

measured 33 of 33 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

33 of 33 outbound references displayed

verified exact10
verified fuzzy2
unresolved18
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5a0ebf51-6bd6-4808-9c52-f47b3f6fa0c8 · outbound

This paper cites Sohaib Alam, Noah F.

Noise-aware Verification and Synthesis of Quantum Programs Sohaib Alam, Noah F

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.814911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b9c18fc-02d7-47d7-807b-bf0f8a06ec40 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 2

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T23:21:44.640051Z

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 21841a1d-9632-46e3-8787-6df251c794e2 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.623902Z

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 24fc816b-c72d-4333-878a-f4c8c320c200 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.606363Z

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 10efff17-0e04-476b-860a-1685f5258e91 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.588418Z

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 c9432c30-6881-448c-801a-0dc1094599de · outbound

This paper cites Chadha, P.

Noise-aware Verification and Synthesis of Quantum Programs Chadha, P

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T23:21:43.170986Z

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 9caa5f57-86ba-44b8-80fb-b061f03d7b43 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.848786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a1dd023-137c-4cec-a93c-aa8da9727aeb · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.854000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3977584-4be3-4233-9dc2-e0bbbc79192b · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T23:21:43.131272Z

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 90c469bc-eb83-4ddd-be8e-af60a9b25fa6 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.572124Z

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 5042acce-19d4-474a-a454-4dc1047894c1 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.868726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c7c1ecc-fc8c-422b-9adc-3f1ddc4bd4b3 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.873366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4920fb5b-66b3-4ac3-9d09-9832de1ddba4 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 13

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T23:21:44.449129Z

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 359260ca-853f-427d-9cdd-9a9259d0159f · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.553938Z

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 0406fd2e-3986-426b-a44a-bb118a83160b · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.886246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cdaa5a9-e2b4-4fcd-9c4c-cca6e003a369 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.534896Z

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 d4d1a2b6-bec4-4438-a066-1243a2bd7c65 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-07T23:21:42.895447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e39e2d6c-99cc-4863-8cd5-036d8f191afd · outbound

This paper cites Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries.

Noise-aware Verification and Synthesis of Quantum Programs Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.900002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9514e4da-ce05-4e6b-803a-945f065d087e · outbound

This paper cites Henzinger.

Noise-aware Verification and Synthesis of Quantum Programs Henzinger

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T23:21:43.064684Z

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 8b79eb96-d657-4f54-8f92-5b47296009ff · outbound

This paper cites Nielsen and Isaac L.

Noise-aware Verification and Synthesis of Quantum Programs Nielsen and Isaac L

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T23:21:44.517564Z

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 e5aa13e7-7534-4f72-9014-b20eb85ae851 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.916004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cb0f2b2-5c76-4a6c-b935-7e9e0bf48eb3 · outbound

This paper cites Pusey, Jonathan Barrett, and Terry Rudolph.

Noise-aware Verification and Synthesis of Quantum Programs Pusey, Jonathan Barrett, and Terry Rudolph

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T23:21:44.489064Z

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 3ae3670c-da76-4a88-90c0-74de93c0ca60 · outbound

This paper cites 2023 (accessed February 7, 2025).

Noise-aware Verification and Synthesis of Quantum Programs 2023 (accessed February 7, 2025)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.926957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d943871a-f09e-4acc-9fcb-d4ef63ac2c1a · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T23:21:44.472057Z

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 b36b808f-7170-4b5b-853f-6c21b0923701 · outbound

This paper cites Verification Logics for Quantum Programs.

Noise-aware Verification and Synthesis of Quantum Programs Verification Logics for Quantum Programs

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-07T23:21:44.046333Z

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 ea4bfb79-7e06-47c2-9f10-2680f2af5d5b · outbound

This paper cites On the Relative Completeness of Satisfaction-based Quantum Hoare Logic.

Noise-aware Verification and Synthesis of Quantum Programs On the Relative Completeness of Satisfaction-based Quantum Hoare Logic

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-07T23:21:44.024668Z

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 dd519a80-3dc4-4777-ac78-c6e4635ba478 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 27

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T23:21:43.998934Z

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 ff9a21cf-1061-43a7-acb4-4824e5662756 · outbound

This paper cites Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs.

Noise-aware Verification and Synthesis of Quantum Programs Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-07T23:21:43.697595Z

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 80e2fe3f-faad-4ea2-ad53-07660a7b82ea · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-07T23:21:43.045495Z

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 70b70777-2e34-4651-b8cc-76cee1435489 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.968317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e5b6902-fdd9-4505-92a4-cb31e7d57633 · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 31

Resolution: malformed identifier; arxiv_id_nonexistent, observed 2026-08-07T23:21:43.672382Z

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 e2467197-61c6-4843-882c-f070682f395d · outbound

This paper cites A Practical Quantum Hoare Logic with Classical Variables, I.

Noise-aware Verification and Synthesis of Quantum Programs A Practical Quantum Hoare Logic with Classical Variables, I

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T23:21:42.978928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcc84f17-ed8d-469c-8939-f571e1ba031c · outbound

This paper cites an unresolved cited work.

Noise-aware Verification and Synthesis of Quantum Programs Unresolved cited work

Reference 33

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T23:21:43.456366Z

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.