Paper Citation Record · LEDGER

Formal Verification of Continuous-Variable Quantum Programs

As of 22 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2607.17714.

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

pith.paper-citation-record.v1
2607.17714 v1

Coverage vector

measured 58 of 58 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T17:18:12.564600Z

measured 58 of 58 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

58 of 58 outbound references displayed

verified exact0
verified fuzzy0
unresolved53
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d4bdacd-7f49-4525-b614-a8e7d4637caa · outbound

This paper cites Aghaee Rad, Thomas Ainsworth, Rafael N.

Formal Verification of Continuous-Variable Quantum Programs Aghaee Rad, Thomas Ainsworth, Rafael N

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.302208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7a5fe1-10e8-4741-bcb8-ec04e67a4b86 · outbound

This paper cites Ballentine.

Formal Verification of Continuous-Variable Quantum Programs Ballentine

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.372088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a978a13-f602-4290-8b42-415e49cd99eb · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.432958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb2201f2-15d8-41a5-98c3-6a241ffb2f3e · outbound

This paper cites Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions.

Formal Verification of Continuous-Variable Quantum Programs Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.537936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77b44dcb-5021-4cb7-84ab-386d538599e3 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.653366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1581031e-a328-407c-9ba1-1f75a3e6159d · outbound

This paper cites Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K.

Formal Verification of Continuous-Variable Quantum Programs Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.772494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cd503f2-4ca6-4d6c-b803-a1fb15a841c3 · outbound

This paper cites Blanchard, Erwin.

Formal Verification of Continuous-Variable Quantum Programs Blanchard, Erwin

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:05.863239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39cc6bea-3a55-4c3b-8557-65dcb22d6ca3 · outbound

This paper cites 2013.Concentration Inequalities: A Nonasymptotic Theory of Independence.

Formal Verification of Continuous-Variable Quantum Programs 2013.Concentration Inequalities: A Nonasymptotic Theory of Independence

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:06.009697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ceade2d-6271-49ba-9792-33b14d3c09bf · outbound

This paper cites Eli Bourassa, Rafael N.

Formal Verification of Continuous-Variable Quantum Programs Eli Bourassa, Rafael N

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:06.203468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41fdaf34-b019-4bbc-8d38-b945be00a345 · outbound

This paper cites Gaussian states and operations -- a quick reference.

Formal Verification of Continuous-Variable Quantum Programs Gaussian states and operations -- a quick reference

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:06.426020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63e0b0a9-a58b-483e-83bc-15f53efd84e3 · outbound

This paper cites Braunstein and H.

Formal Verification of Continuous-Variable Quantum Programs Braunstein and H

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:06.599681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f89a2eba-184d-4cf0-8b2e-b3dad5c3ba92 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:06.788627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1740b6aa-9f13-4225-ae40-0ff069f35acc · outbound

This paper cites 2003.Quantum information with continuous variables.

Formal Verification of Continuous-Variable Quantum Programs 2003.Quantum information with continuous variables

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:07.046570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81812bae-3205-4fbe-9eab-cadd222f8889 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:07.335631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e712d71-512f-48ce-80e9-744d19ede11f · outbound

This paper cites Continuous Variable Quantum Algorithms: an Introduction.

Formal Verification of Continuous-Variable Quantum Programs Continuous Variable Quantum Algorithms: an Introduction

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:07.566703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a322a24f-d534-4e86-b24f-a36b8b4298cd · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:07.768199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65379af7-0b2e-494a-a63d-fd62125e2665 · outbound

This paper cites Quantum computing overview: discrete vs. continuous variable models.

Formal Verification of Continuous-Variable Quantum Programs Quantum computing overview: discrete vs. continuous variable models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:07.949770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c69d65a4-5ab4-45d4-88f6-2da8a31f6901 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-01T17:18:08.073078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54e99800-323e-44ee-b547-c5fe2e109d08 · outbound

This paper cites 2011.Symplectic methods in harmonic analysis and in mathematical physics.

Formal Verification of Continuous-Variable Quantum Programs 2011.Symplectic methods in harmonic analysis and in mathematical physics

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.151100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1868ccd5-1008-45bf-9927-13897cf1e8a6 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.259397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 647d8c14-8fb0-414b-a9a3-4dce364aa2d7 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.360662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa931fbf-56d7-49ec-8d6f-10ab11f5bb38 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.454654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c4e64fc-7a4c-4bc6-a8cd-e88cacd21cc4 · outbound

This paper cites 2011.Quantum teleportation and entanglement: a hybrid approach to optical quantum information processing.

Formal Verification of Continuous-Variable Quantum Programs 2011.Quantum teleportation and entanglement: a hybrid approach to optical quantum information processing

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.569335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ec0794e-c125-4f9c-ab61-dfebd9e5d9c4 · outbound

This paper cites Operator Theory: Advances and Applications.

Formal Verification of Continuous-Variable Quantum Programs Operator Theory: Advances and Applications

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.676912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 526c60ec-7ee5-4d00-a437-d481c487e245 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.763531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a72d51b0-7e64-4224-9f35-f00143c83f2b · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 26

Resolution: malformed identifier; no resolver link, observed 2026-08-01T17:18:08.838381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c54abca-042f-4659-a93a-46a17c0b44a8 · outbound

This paper cites Neural Turing Machines.

Formal Verification of Continuous-Variable Quantum Programs Neural Turing Machines

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.912710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14e9ff96-0c5a-4eeb-9854-c71b5747b3cf · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:08.988516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 629e16d6-ff79-404a-98e8-afa1cbe544a9 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.087314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7275d7b8-6088-4c17-bb85-f5e7be9819d6 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.160452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12aab6cb-0bc0-481e-a8f0-2b0a0d246cdb · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-01T17:18:09.263130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9304e4e-efed-4f47-98cb-6b70abc5c341 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.384343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97bcca7-683a-4541-af58-c844107c1254 · outbound

This paper cites Larsen, J.

Formal Verification of Continuous-Variable Quantum Programs Larsen, J

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.582697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 977cee24-472b-4f78-af96-ce7e976b5ec7 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.745350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d55993f-c818-4b4d-83dc-ba91c3bbced2 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.880006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88c11057-b1bf-4d78-87fd-ca2c20f0f4b5 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:09.984901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5b0683-c067-4519-b861-c6c74bcbb677 · outbound

This paper cites Braunstein.

Formal Verification of Continuous-Variable Quantum Programs Braunstein

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.090139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9819bcfe-c6a2-4828-b96c-3a0a7e844a0b · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.258652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 138d27df-2ed3-47a4-bbd4-13cdedee3ec0 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.412532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a88b5db2-f268-476f-9e0d-ae49080a4fc8 · outbound

This paper cites Nielsen and Isaac L.

Formal Verification of Continuous-Variable Quantum Programs Nielsen and Isaac L

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.551294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c35c31a-7308-4de9-a018-c388a662d998 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.663867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f555df6-0845-450a-9c42-9b9eeba7edd4 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.855177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d96b640-73e7-4d87-98ca-49df9854e44c · outbound

This paper cites 2012.Methods of modern mathematical physics: Functional analysis.

Formal Verification of Continuous-Variable Quantum Programs 2012.Methods of modern mathematical physics: Functional analysis

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:10.940218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcd2c30f-ad8e-4b1d-b950-7a90b39d5130 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.024182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51a3b583-b0ee-4195-867a-4eae550b6e2f · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.119469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fc21b2a-10f6-4514-85a7-0ae397055170 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.223546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 886dbd8e-8564-4aa0-970d-053316e3a7c7 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.329309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b5ec32f-93bc-491d-ab56-5c94e149f8ba · outbound

This paper cites 2023.Quantum continuous variables: a primer of theoretical methods.

Formal Verification of Continuous-Variable Quantum Programs 2023.Quantum continuous variables: a primer of theoretical methods

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.441055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bd3a535-2e28-4d82-80e3-a0daac481d22 · outbound

This paper cites The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation.

Formal Verification of Continuous-Variable Quantum Programs The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.446307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a036ecd1-ebfa-4eaa-8a21-abd005b3699c · outbound

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

Formal Verification of Continuous-Variable Quantum Programs On the Relative Completeness of Satisfaction-based Quantum Hoare Logic

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.574498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d000c77-d7f6-4981-9203-a5608ce0f937 · outbound

This paper cites Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs.

Formal Verification of Continuous-Variable Quantum Programs Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.672290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45dfb2cb-d167-42f9-90be-a84a5b6c50e3 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:11.795396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e8ff1b-cbfd-4c9e-bb9c-ce9828b156cc · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 53

Resolution: malformed identifier; no resolver link, observed 2026-08-01T17:18:11.885465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59c85a83-86d6-4fd0-ae8a-8a322b238dff · outbound

This paper cites Cerf, Timothy C.

Formal Verification of Continuous-Variable Quantum Programs Cerf, Timothy C

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:12.008830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79aade3b-68e1-4471-abec-bbcbb688cd1f · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 55

Resolution: malformed identifier; no resolver link, observed 2026-08-01T17:18:12.106612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d27227d-cb6e-4c81-bd9c-60f07ddc8d2b · outbound

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

Formal Verification of Continuous-Variable Quantum Programs A Practical Quantum Hoare Logic with Classical Variables, I

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:12.178281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7827e58e-efd7-483b-8688-d6922623aa6e · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:12.373223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d546db8-6dd8-4c6b-9299-b29087486535 · outbound

This paper cites an unresolved cited work.

Formal Verification of Continuous-Variable Quantum Programs Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T17:18:12.564600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.