{"as_of":"2026-08-22T07:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ddc5a1638d52d16ba1b49672f1e2c2d315ce36b27e180d3527ad61db441a19f2","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T17:18:12.564600Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.17714/citation-record","integrity":"/paper/2607.17714/integrity","json":"/paper/2607.17714/citation-record.json","paper":"/paper/2607.17714"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.302208Z","title":"Aghaee Rad, Thomas Ainsworth, Rafael N","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.302208Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:e76dde2697b827486013fcf27e7f406b78e368e9a6ccf8691f6136cd75583329","observation_id":"7d4bdacd-7f49-4525-b614-a8e7d4637caa","resolution":{"observed_at":"2026-08-01T17:18:05.302208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.372088Z","title":"Ballentine","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.372088Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:982dad1e13427a1893894bbe2f0c21ea41912e5ff5d53fddb6036e71475232fb","observation_id":"0a7a5fe1-10e8-4741-bcb8-ec04e67a4b86","resolution":{"observed_at":"2026-08-01T17:18:05.372088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.432958Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.432958Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:cea46475e19a30a067ac11d2b1d6e4017d47c4f82f62504ab1060029b5c0f50f","observation_id":"6a978a13-f602-4290-8b42-415e49cd99eb","resolution":{"observed_at":"2026-08-01T17:18:05.432958Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.07051","last_updated":"2026-06-30T16:41:20Z","snapshot_observed_at":"2026-08-09T00:33:32.489857Z","submitted_at":"2025-10-08T14:19:03Z","title":"Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.07051","snapshot_observed_at":"2026-08-01T17:18:05.537936Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.537936Z"},"links":{"cited_paper":"/paper/2510.07051","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:b54e54a4444621ec30426c6818d1d34f207186cf0675b216e9b68b097825aa14","observation_id":"eb2201f2-15d8-41a5-98c3-6a241ffb2f3e","resolution":{"observed_at":"2026-08-01T17:18:05.537936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.653366Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.653366Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:84c26a4ddd23cf400d95f48e59a0d0a29be44eb8d14d0c6c434d74ba9af7516c","observation_id":"77b44dcb-5021-4cb7-84ab-386d538599e3","resolution":{"observed_at":"2026-08-01T17:18:05.653366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.772494Z","title":"Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.772494Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:6b0b4be47e792e700550c8a8e3dd12e542c7de6b6eecad68a39aa1b2e9c46618","observation_id":"1581031e-a328-407c-9ba1-1f75a3e6159d","resolution":{"observed_at":"2026-08-01T17:18:05.772494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:05.863239Z","title":"Blanchard, Erwin","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:05.863239Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:b1d78ea89bd4396ac1c10d5b82d64d5866545f04c2968fbabed5ecb5f6501253","observation_id":"9cd503f2-4ca6-4d6c-b803-a1fb15a841c3","resolution":{"observed_at":"2026-08-01T17:18:05.863239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:06.009697Z","title":"2013.Concentration Inequalities: A Nonasymptotic Theory of Independence","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:06.009697Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:31b9729702c70f265d60c007daa2b1519d5a42f0f7e582a22fbc534812105fd3","observation_id":"39cc6bea-3a55-4c3b-8557-65dcb22d6ca3","resolution":{"observed_at":"2026-08-01T17:18:06.009697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:06.203468Z","title":"Eli Bourassa, Rafael N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:06.203468Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:04ef83b0d687038257bada819b0917fa4d18f9893df10a7c99237cc6945636d3","observation_id":"9ceade2d-6271-49ba-9792-33b14d3c09bf","resolution":{"observed_at":"2026-08-01T17:18:06.203468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.05748","last_updated":"2022-03-30T11:08:54Z","snapshot_observed_at":"2026-08-19T21:16:30.008281Z","submitted_at":"2021-02-10T21:42:35Z","title":"Gaussian states and operations -- a quick reference","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.05748","snapshot_observed_at":"2026-08-01T17:18:06.426020Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:06.426020Z"},"links":{"cited_paper":"/paper/2102.05748","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:e55192771f4e77099ece049a33458fdd35085b155afeba2598dea9e7620bbd59","observation_id":"41fdaf34-b019-4bbc-8d38-b945be00a345","resolution":{"observed_at":"2026-08-01T17:18:06.426020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:06.599681Z","title":"Braunstein and H","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:06.599681Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:104f60da4f8be0c8f9d73d17a3d2c8a93a31a69a1f15cc2c911ed9a6ee706aa4","observation_id":"63e0b0a9-a58b-483e-83bc-15f53efd84e3","resolution":{"observed_at":"2026-08-01T17:18:06.599681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:06.788627Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:06.788627Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:7e436106abdde50731fecf87f546d06311aebff9b862331b67ee061346696202","observation_id":"f89a2eba-184d-4cf0-8b2e-b3dad5c3ba92","resolution":{"observed_at":"2026-08-01T17:18:06.788627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:07.046570Z","title":"2003.Quantum information with continuous variables","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:07.046570Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f4d8f812981ee9aa36b19e22f5fa6588b09db132efc644c515bb7d33e0a8618c","observation_id":"1740b6aa-9f13-4225-ae40-0ff069f35acc","resolution":{"observed_at":"2026-08-01T17:18:07.046570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:07.335631Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:07.335631Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:edba8327531ded376da273cb6fd7a8bfd258a9fabd5d94af6e37eb0b67f608fa","observation_id":"81812bae-3205-4fbe-9eab-cadd222f8889","resolution":{"observed_at":"2026-08-01T17:18:07.335631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.02151","last_updated":"2021-07-05T17:26:25Z","snapshot_observed_at":"2026-08-16T18:12:13.042068Z","submitted_at":"2021-07-05T17:26:25Z","title":"Continuous Variable Quantum Algorithms: an Introduction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.02151","snapshot_observed_at":"2026-08-01T17:18:07.566703Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:07.566703Z"},"links":{"cited_paper":"/paper/2107.02151","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:66f97a77079e83a87e2883f7dd3a2ecaa1f146fb67f617a8994a13262fc590e9","observation_id":"4e712d71-512f-48ce-80e9-744d19ede11f","resolution":{"observed_at":"2026-08-01T17:18:07.566703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:07.768199Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:07.768199Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:adda6dfb15e94ac478a9b8c89e3f2256d731921c4b4b847d74ff23c6014153f2","observation_id":"a322a24f-d534-4e86-b24f-a36b8b4298cd","resolution":{"observed_at":"2026-08-01T17:18:07.768199Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.07246","last_updated":"2022-06-15T02:20:14Z","snapshot_observed_at":"2026-08-16T16:52:56.408806Z","submitted_at":"2022-06-15T02:20:14Z","title":"Quantum computing overview: discrete vs. continuous variable models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.07246","snapshot_observed_at":"2026-08-01T17:18:07.949770Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:07.949770Z"},"links":{"cited_paper":"/paper/2206.07246","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:2bfe5b03601bdcd6d52c943954f68ffc1ce5a193bae661dd8a463cf70e7f84e2","observation_id":"65379af7-0b2e-494a-a63d-fd62125e2665","resolution":{"observed_at":"2026-08-01T17:18:07.949770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.073078Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.073078Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:744ad39f4313b5e1a3aca0a68780d87bc2a59f6bd0c52473db59466ff5fd7525","observation_id":"c69d65a4-5ab4-45d4-88f6-2da8a31f6901","resolution":{"observed_at":"2026-08-01T17:18:08.073078Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.151100Z","title":"2011.Symplectic methods in harmonic analysis and in mathematical physics","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.151100Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:6cd2d3ba131059632bfcc4821991854d046d11032b7c81f6eefbeeda9303b896","observation_id":"54e99800-323e-44ee-b547-c5fe2e109d08","resolution":{"observed_at":"2026-08-01T17:18:08.151100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.259397Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.259397Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:8bee64b27454180d5d782d89da6d1f007fd21889db7c896d6ea7e4f7fed639dd","observation_id":"1868ccd5-1008-45bf-9927-13897cf1e8a6","resolution":{"observed_at":"2026-08-01T17:18:08.259397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.360662Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.360662Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:38852ade9242dd524b39a655dbb47554427cdcef8dc4b10e33d4d24096156265","observation_id":"647d8c14-8fb0-414b-a9a3-4dce364aa2d7","resolution":{"observed_at":"2026-08-01T17:18:08.360662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.454654Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.454654Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:3f114e4c975316f71c7042c15626e160b026df7455d24d1e290daa986e9fec3e","observation_id":"aa931fbf-56d7-49ec-8d6f-10ab11f5bb38","resolution":{"observed_at":"2026-08-01T17:18:08.454654Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.569335Z","title":"2011.Quantum teleportation and entanglement: a hybrid approach to optical quantum information processing","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.569335Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:58db79a743fb347b04e4e80b1f1f574f43daa3f06a5e6039fcb2b2cff5b484bf","observation_id":"8c4e64fc-7a4c-4bc6-a8cd-e88cacd21cc4","resolution":{"observed_at":"2026-08-01T17:18:08.569335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.676912Z","title":"Operator Theory: Advances and Applications","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.676912Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:a9da5a43c6880fe1cef1b1a6afd6d328f74c2f61807e1e413aae36a8a2cee8b0","observation_id":"7ec0794e-c125-4f9c-ab61-dfebd9e5d9c4","resolution":{"observed_at":"2026-08-01T17:18:08.676912Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.763531Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.763531Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f4f3a12fc707a5e6e744fc3145f6e841a8876717c79e6ab77a478a50e7db501b","observation_id":"526c60ec-7ee5-4d00-a437-d481c487e245","resolution":{"observed_at":"2026-08-01T17:18:08.763531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.838381Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.838381Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:74e8381b1a56fe2dcf3f3c5d9cd308f603b5c59c8a400d70f9d0911e77015781","observation_id":"a72d51b0-7e64-4224-9f35-f00143c83f2b","resolution":{"observed_at":"2026-08-01T17:18:08.838381Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1410.5401","last_updated":"2014-12-10T16:01:39Z","snapshot_observed_at":"2026-08-12T12:07:42.706444Z","submitted_at":"2014-10-20T19:28:26Z","title":"Neural Turing Machines","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1410.5401","snapshot_observed_at":"2026-08-01T17:18:08.912710Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.912710Z"},"links":{"cited_paper":"/paper/1410.5401","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f6f1a34c4ad9de5eb1d8ebbbeea155fb6c17b3fa28ee3fab06cc9e2258093c94","observation_id":"0c54abca-042f-4659-a93a-46a17c0b44a8","resolution":{"observed_at":"2026-08-01T17:18:08.912710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:08.988516Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:08.988516Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:13272dfe2cb71a12e5d738806c0effa7c0018f6d06680a3093a4d714ca1a5ace","observation_id":"14e9ff96-0c5a-4eeb-9854-c71b5747b3cf","resolution":{"observed_at":"2026-08-01T17:18:08.988516Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.087314Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.087314Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:a73fab722fb0390f109e86ad786fa37914680185a118abb80472d0364c2f7f8f","observation_id":"629e16d6-ff79-404a-98e8-afa1cbe544a9","resolution":{"observed_at":"2026-08-01T17:18:09.087314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.160452Z","title":null,"venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.160452Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:a9e1487d13d51a096a5429caa4049b4f5951f0ed11f83e18dbdda5d77f5c02c4","observation_id":"7275d7b8-6088-4c17-bb85-f5e7be9819d6","resolution":{"observed_at":"2026-08-01T17:18:09.160452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.263130Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.263130Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:bbf30390e1e4ecaea82cb49b68654e17232cb2e20fe85abf365786a32a271b4a","observation_id":"12aab6cb-0bc0-481e-a8f0-2b0a0d246cdb","resolution":{"observed_at":"2026-08-01T17:18:09.263130Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.384343Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.384343Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:e36e833c8b53f11a71369a3219720323ec86eb335b68402f0f9b9b8dfa7ca7f1","observation_id":"f9304e4e-efed-4f47-98cb-6b70abc5c341","resolution":{"observed_at":"2026-08-01T17:18:09.384343Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.582697Z","title":"Larsen, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.582697Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:6df92036e5f25917461175b7f9a06bf1ea224e859e0131961263ee21fa5104bc","observation_id":"f97bcca7-683a-4541-af58-c844107c1254","resolution":{"observed_at":"2026-08-01T17:18:09.582697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.745350Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.745350Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:31e15e50b69e6d9be427325676aafe7779b1423740b6163422ccbf2b257d21f2","observation_id":"977cee24-472b-4f78-af96-ce7e976b5ec7","resolution":{"observed_at":"2026-08-01T17:18:09.745350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.880006Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.880006Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:ccf2be0f8e483e24239639c74e450e534155c56b0e2fd9fae6e5d98cac0069b9","observation_id":"7d55993f-c818-4b4d-83dc-ba91c3bbced2","resolution":{"observed_at":"2026-08-01T17:18:09.880006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:09.984901Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:09.984901Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:8e6793264aeffb938df4e746297b5c9c41961ac0c9872dde6d52fb7bb388de83","observation_id":"88c11057-b1bf-4d78-87fd-ca2c20f0f4b5","resolution":{"observed_at":"2026-08-01T17:18:09.984901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.090139Z","title":"Braunstein","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.090139Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:279bcbca69c6450f5ef19c7954284d1c00b67a6d27a745958646ba523c645b3a","observation_id":"9a5b0683-c067-4519-b861-c6c74bcbb677","resolution":{"observed_at":"2026-08-01T17:18:10.090139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.258652Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.258652Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:e9aa43d210219b9a1a27aaba36382a3bd6cb679ec7200e24293e1ae0c2818a8e","observation_id":"9819bcfe-c6a2-4828-b96c-3a0a7e844a0b","resolution":{"observed_at":"2026-08-01T17:18:10.258652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.412532Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.412532Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:3c5d9f9da146103de4b0f34f6f4ae7513dcb0f97cd74ddc304b2b4c09b132510","observation_id":"138d27df-2ed3-47a4-bbd4-13cdedee3ec0","resolution":{"observed_at":"2026-08-01T17:18:10.412532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.551294Z","title":"Nielsen and Isaac L","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.551294Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f166bcdd0b10417869db7b6d40abef9d59543a2f0e4ff21b8e21f4330d84c118","observation_id":"a88b5db2-f268-476f-9e0d-ae49080a4fc8","resolution":{"observed_at":"2026-08-01T17:18:10.551294Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.663867Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.663867Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f3a1632071a98c030fc58be6ae12fdce088612396f75ba95d1a7eac78f03084f","observation_id":"2c35c31a-7308-4de9-a018-c388a662d998","resolution":{"observed_at":"2026-08-01T17:18:10.663867Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.855177Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.855177Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:a0204aa0e9656ffe7f7d31f87472316e1e5341129a0f4032e5703c1252898f03","observation_id":"0f555df6-0845-450a-9c42-9b9eeba7edd4","resolution":{"observed_at":"2026-08-01T17:18:10.855177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:10.940218Z","title":"2012.Methods of modern mathematical physics: Functional analysis","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:10.940218Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:5f840d812b580f98c15af6e5331321741a5177ee744d8770fe7bc6371bbf0f34","observation_id":"6d96b640-73e7-4d87-98ca-49df9854e44c","resolution":{"observed_at":"2026-08-01T17:18:10.940218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.024182Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.024182Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:f0298465357d6b3e28884a32bcd8e9bec23f8ffd4c0aff00af8e400df3788177","observation_id":"fcd2c30f-ad8e-4b1d-b950-7a90b39d5130","resolution":{"observed_at":"2026-08-01T17:18:11.024182Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.119469Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.119469Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:85fc39ed9c0ae96acd6421e0a793c84c387ced4b80fa47553b3fb389d3cdafc9","observation_id":"51a3b583-b0ee-4195-867a-4eae550b6e2f","resolution":{"observed_at":"2026-08-01T17:18:11.119469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.223546Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.223546Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:3977b76b8fe7500996a6bc47825659840862c0dbc8cc6c0ee4369374d09f15e9","observation_id":"1fc21b2a-10f6-4514-85a7-0ae397055170","resolution":{"observed_at":"2026-08-01T17:18:11.223546Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.329309Z","title":null,"venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.329309Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:3704cf92454ff59244a362002da47c1a1d4591f904992587c3cca4276b4c847f","observation_id":"886dbd8e-8564-4aa0-970d-053316e3a7c7","resolution":{"observed_at":"2026-08-01T17:18:11.329309Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.441055Z","title":"2023.Quantum continuous variables: a primer of theoretical methods","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.441055Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:50b5a4104d1219caae813dfd3a4ce0fe3f4a019f04298168dd7f6b419189a6bd","observation_id":"1b5ec32f-93bc-491d-ab56-5c94e149f8ba","resolution":{"observed_at":"2026-08-01T17:18:11.441055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.02905","last_updated":"2024-06-05T03:56:18Z","snapshot_observed_at":"2026-08-21T14:57:07.449709Z","submitted_at":"2024-06-05T03:56:18Z","title":"The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.02905","snapshot_observed_at":"2026-08-01T17:18:11.446307Z","title":"Shaikh, Lia Yeh, and Stefano Gogioso","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.446307Z"},"links":{"cited_paper":"/paper/2406.02905","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:cf41fc5bd433d73dec05079b181bfec90e676db17002c62d8de846064d2e42af","observation_id":"7bd3a535-2e28-4d82-80e3-a0daac481d22","resolution":{"observed_at":"2026-08-01T17:18:11.446307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01940","last_updated":"2024-05-03T09:05:05Z","snapshot_observed_at":"2026-08-16T13:55:42.403405Z","submitted_at":"2024-05-03T09:05:05Z","title":"On the Relative Completeness of Satisfaction-based Quantum Hoare Logic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01940","snapshot_observed_at":"2026-08-01T17:18:11.574498Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.574498Z"},"links":{"cited_paper":"/paper/2405.01940","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:df69feaefa4df81ebe75c001cfa558dd7fca147b0bb4f9dcc737444081a0f48b","observation_id":"a036ecd1-ebfa-4eaa-8a21-abd005b3699c","resolution":{"observed_at":"2026-08-01T17:18:11.574498Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.08939","last_updated":"2026-07-01T11:45:53Z","snapshot_observed_at":"2026-08-19T22:11:21.284055Z","submitted_at":"2021-01-22T04:07:12Z","title":"Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.08939","snapshot_observed_at":"2026-08-01T17:18:11.672290Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.672290Z"},"links":{"cited_paper":"/paper/2101.08939","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:52c1f9e5afe7952918c402c2fb61956ca9eb8d846c9b8b52a62dc83f749b4740","observation_id":"8d000c77-d7f6-4981-9203-a5608ce0f937","resolution":{"observed_at":"2026-08-01T17:18:11.672290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.795396Z","title":null,"venue":null,"work_id":null,"year":1931},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.795396Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:aa9b8402c482aa01ef830b5a6bcbb73dcdd39649d960fe515c49030acde754e3","observation_id":"45dfb2cb-d167-42f9-90be-a84a5b6c50e3","resolution":{"observed_at":"2026-08-01T17:18:11.795396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:11.885465Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:11.885465Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:55542e32a301a5a665c677f3250cc7928bc03489c738f0864ffbc95a7add9c2c","observation_id":"d7e8ff1b-cbfd-4c9e-bb9c-ce9828b156cc","resolution":{"observed_at":"2026-08-01T17:18:11.885465Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:12.008830Z","title":"Cerf, Timothy C","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.008830Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:4facb96a3d74e45102a83f4fbf293fcceb3a6697bc9fecae64b590e6c7b6eedb","observation_id":"59c85a83-86d6-4fd0-ae8a-8a322b238dff","resolution":{"observed_at":"2026-08-01T17:18:12.008830Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:12.106612Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.106612Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:7cb479816f957fa59a4456ecab9cd8945b73630c1d427bcb99ad587c13100747","observation_id":"79aade3b-68e1-4471-abec-bbcbb688cd1f","resolution":{"observed_at":"2026-08-01T17:18:12.106612Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-08-14T23:40:38.144309Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.09869","snapshot_observed_at":"2026-08-01T17:18:12.178281Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.178281Z"},"links":{"cited_paper":"/paper/2412.09869","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:bd98ea7af46b4a968f39af8b1ebbf35f5d6f8edfb102f35cdbe397e261895b52","observation_id":"5d27227d-cb6e-4c81-bd9c-60f07ddc8d2b","resolution":{"observed_at":"2026-08-01T17:18:12.178281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:12.373223Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.373223Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:2c2656c2deb572a59f4a3dd6a26f7ecd9761d0d184fc6d0fa33f1d5382a5d289","observation_id":"7827e58e-efd7-483b-8688-d6922623aa6e","resolution":{"observed_at":"2026-08-01T17:18:12.373223Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T17:18:12.564600Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.564600Z"},"links":{"citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:d1a0d90a38188bbab6f20956075c5138ca8ef275f0a1b084f2a9fa6002390d85","observation_id":"0d546db8-6dd8-4c6b-9299-b29087486535","resolution":{"observed_at":"2026-08-01T17:18:12.564600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-14T11:23:10.017269Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":53,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":58},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"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."}