{"as_of":"2026-08-15T00:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:99d9144693c6fd524d896dac5d0e51d53766fc30b225906b9f857e9e67d17bba","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T23:21:42.984027Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2608.05807/citation-record","integrity":"/paper/2608.05807/integrity","json":"/paper/2608.05807/citation-record.json","paper":"/paper/2608.05807"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.814911Z","title":"Sohaib Alam, Noah F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.814911Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:2e4fae5bcf66310bd65be78c554d0f42aaea752b20c034082a811de311cf54f8","observation_id":"5a0ebf51-6bd6-4808-9c52-f47b3f6fa0c8","resolution":{"observed_at":"2026-08-07T23:21:42.814911Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.634951Z","title":null,"venue":null,"work_id":"f18738a8-3410-41b4-a9c0-2e5691f60e6e","year":1954},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.821448Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:76b52134340efc8e9b62fc211336a5a33045aadb928c700971fd6f3657ebc6f8","observation_id":"1b9c18fc-02d7-47d7-807b-bf0f8a06ec40","resolution":{"observed_at":"2026-08-07T23:21:44.640051Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.618491Z","title":null,"venue":null,"work_id":"3c2c7afd-9a9a-49fc-b29a-49958b73710d","year":1992},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.826774Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:bd3e7f81f63627c4acb320d350558ed383fbcaa791fdfe3601ce06486773efb8","observation_id":"21841a1d-9632-46e3-8787-6df251c794e2","resolution":{"observed_at":"2026-08-07T23:21:44.623902Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.600892Z","title":null,"venue":null,"work_id":"cf940220-1de0-4658-ba07-66addfa37f4c","year":2013},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.832298Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:907338dedc2aa06d9529d21f1ff3f4e5f69f563d7f20f66435a0240763770f7a","observation_id":"24fc816b-c72d-4333-878a-f4c8c320c200","resolution":{"observed_at":"2026-08-07T23:21:44.606363Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.583416Z","title":null,"venue":null,"work_id":"b9fcc0a4-1841-4e67-b400-5024a62ee761","year":1977},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.837608Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:555baf24c13552ba7aad471fad8e9356efa6ecbf12fe8613bf21e86183aa74d5","observation_id":"10efff17-0e04-476b-860a-1685f5258e91","resolution":{"observed_at":"2026-08-07T23:21:44.588418Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2006.04.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Chadha, P","venue":"Electronic Notes in Theoretical Computer Science","work_id":"f710e5bc-e511-46ef-9be9-e33abc3eac95","year":2006},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.843483Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:d01103446ee2bd70b8c1313a6b575962f95a2b678c8ac04b2619cd50176c58ad","observation_id":"c9432c30-6881-448c-801a-0dc1094599de","resolution":{"observed_at":"2026-08-07T23:21:43.170986Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.848786Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.848786Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:ad6713168548968d2951e4bbb89943b1285315bd0e5eb5141565e29082fb0872","observation_id":"9caa5f57-86ba-44b8-80fb-b061f03d7b43","resolution":{"observed_at":"2026-08-07T23:21:42.848786Z","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-07T23:21:42.854000Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.854000Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:b93b291270625c66a9c93bf39f1f824bafb7846b235b58a2bf96861bffa82655","observation_id":"4a1dd023-137c-4cec-a93c-aa8da9727aeb","resolution":{"observed_at":"2026-08-07T23:21:42.854000Z","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":"10.1016/j.tcs.2022.02.017","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Theoretical Computer Science","work_id":"533ce338-537c-43ae-a242-fdd1cf4556f1","year":2022},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.858853Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:e460c85bc249d763e40c2fe84edbae53167790bf4bec4990ba4831f0428aa8d3","observation_id":"b3977584-4be3-4233-9dc2-e0bbbc79192b","resolution":{"observed_at":"2026-08-07T23:21:43.131272Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.566670Z","title":null,"venue":null,"work_id":"013611eb-8c80-4886-80cd-64b1530e9961","year":2006},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.863668Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:521c06d7787fa893097ec5147395517bd826beeddfc57f3d8b5204c9e5891234","observation_id":"90c469bc-eb83-4ddd-be8e-af60a9b25fa6","resolution":{"observed_at":"2026-08-07T23:21:44.572124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.868726Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.868726Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:cfaa1e07862b8f98ece246e242884c8b18636721120fc3baa8d7e9f192015a5f","observation_id":"5042acce-19d4-474a-a454-4dc1047894c1","resolution":{"observed_at":"2026-08-07T23:21:42.868726Z","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-07T23:21:42.873366Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.873366Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:65d2ff91c10d691814d8ee95c112e880b33b96a672cf6a06cbf0e613c9d8fd22","observation_id":"8c7c1ecc-fc8c-422b-9adc-3f1ddc4bd4b3","resolution":{"observed_at":"2026-08-07T23:21:42.873366Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.444636Z","title":null,"venue":null,"work_id":"80c8e670-09b6-43e9-92ca-c08d3e7dc453","year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.877664Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:7ed78f30597f28fb906667a14162575b90284d6fcc090e27160fa9ebb10a45ed","observation_id":"4920fb5b-66b3-4ac3-9d09-9832de1ddba4","resolution":{"observed_at":"2026-08-07T23:21:44.449129Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.547520Z","title":null,"venue":null,"work_id":"0cc0cb9e-d65d-437c-b20f-35f679180ab5","year":2009},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.881813Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:5ff2809eebe1acfcaeb9a9f47e3bfcc3bff1b3e9025934c195f14c82114f96e8","observation_id":"359260ca-853f-427d-9cdd-9a9259d0159f","resolution":{"observed_at":"2026-08-07T23:21:44.553938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.886246Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.886246Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:4f2060ab53589747f14cc0cf04937ec92bda8ffd0790d7b5c5a2c16479b883af","observation_id":"0406fd2e-3986-426b-a44a-bb118a83160b","resolution":{"observed_at":"2026-08-07T23:21:42.886246Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.529681Z","title":null,"venue":null,"work_id":"814b8738-c0fd-4d04-933c-9e9aff153ec8","year":1953},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.891020Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:36eb0377387a3a795142961abfb94a273cd48cf2f825b4d89256b9b460c7ecf8","observation_id":"7cdaa5a9-e2b4-4fcd-9c4c-cca6e003a369","resolution":{"observed_at":"2026-08-07T23:21:44.534896Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.895447Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.895447Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:2454d62d6202b6375c6c9429778b94f7163774be695d579e4b9943fbae181645","observation_id":"d4d1a2b6-bec4-4438-a066-1243a2bd7c65","resolution":{"observed_at":"2026-08-07T23:21:42.895447Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08950","last_updated":"2024-01-17T03:53:37Z","snapshot_observed_at":"2026-08-13T04:40:55.150782Z","submitted_at":"2024-01-17T03:53:37Z","title":"Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08950","snapshot_observed_at":"2026-08-07T23:21:42.900002Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.900002Z"},"links":{"cited_paper":"/paper/2401.08950","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:203169efc8dc3b304c3498901a229e742a6a523c5cda60f4a1a5a2009a8ed4f3","observation_id":"e39e2d6c-99cc-4863-8cd5-036d8f191afd","resolution":{"observed_at":"2026-08-07T23:21:42.900002Z","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":"10.1073/pnas.2419273122","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Henzinger","venue":"Proceedings of the National Academy of Sciences","work_id":"43792003-8754-4126-a100-69e0b7ba565a","year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.905570Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:da041d170323ea278e8351770dd13cb1c8868d1794fdbff66dce547f9271bec2","observation_id":"9514e4da-ce05-4e6b-803a-945f065d087e","resolution":{"observed_at":"2026-08-07T23:21:43.064684Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.512385Z","title":"Nielsen and Isaac L","venue":null,"work_id":"302607bf-c2cd-4acd-86ae-c3feeb681738","year":2016},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.910618Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:7227412b8071d327058595752d8f4f9822292cae5ef4836d7fc1613a0d96cc6b","observation_id":"8b79eb96-d657-4f54-8f92-5b47296009ff","resolution":{"observed_at":"2026-08-07T23:21:44.517564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.916004Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.916004Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:a0f250e3f917e48d86793b753cc7aa9520df87850dc66dc630be47b6586a9bce","observation_id":"e5aa13e7-7534-4f72-9014-b20eb85ae851","resolution":{"observed_at":"2026-08-07T23:21:42.916004Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.484592Z","title":"Pusey, Jonathan Barrett, and Terry Rudolph","venue":null,"work_id":"729b9ddd-9580-482c-8411-1443bb0c8e15","year":2012},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.921444Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:bebdfea1af44dfe13495f10a4da78d6edcfaca072a432ef58cb10ad72d1ec387","observation_id":"3cb0f2b2-5c76-4a6c-b935-7e9e0bf48eb3","resolution":{"observed_at":"2026-08-07T23:21:44.489064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.926957Z","title":"2023 (accessed February 7, 2025)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.926957Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:d1cfb8c08452451a09f88821416b0b9b5b61f69a03530999dadc0ecaf73d92f8","observation_id":"3ae3670c-da76-4a88-90c0-74de93c0ca60","resolution":{"observed_at":"2026-08-07T23:21:42.926957Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.467020Z","title":null,"venue":null,"work_id":"fac29653-6e29-47b1-b6bf-8ef85bad2fd2","year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.932361Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:9e33e06c0d5966065833106f7bd09fe6d6c443816e06f6e19b532dfd8e0617f4","observation_id":"d943871a-f09e-4acc-9fcb-d4ef63ac2c1a","resolution":{"observed_at":"2026-08-07T23:21:44.472057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.04304","last_updated":"2019-04-08T19:13:07Z","snapshot_observed_at":"2026-08-14T16:49:44.136057Z","submitted_at":"2019-04-08T19:13:07Z","title":"Verification Logics for Quantum Programs","version":1},"cited_work":{"arxiv_id":"1904.04304","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.04304","snapshot_observed_at":"2026-08-07T23:21:44.040470Z","title":"Verification Logics for Quantum Programs","venue":"cs.LO","work_id":"9ad39a63-6c61-4ecf-a5c0-519b8598c43a","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.937052Z"},"links":{"cited_paper":"/paper/1904.04304","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:d345caf39dcb10b4dc36da8fe5fad82337a973fadeeddb1bd2c2b4cb4a5b5b5b","observation_id":"b36b808f-7170-4b5b-853f-6c21b0923701","resolution":{"observed_at":"2026-08-07T23:21:44.046333Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01940","last_updated":"2024-05-03T09:05:05Z","snapshot_observed_at":"2026-08-13T00:15:34.528631Z","submitted_at":"2024-05-03T09:05:05Z","title":"On the Relative Completeness of Satisfaction-based Quantum Hoare Logic","version":1},"cited_work":{"arxiv_id":"2405.01940","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.01940","snapshot_observed_at":"2026-08-07T23:21:44.018832Z","title":"On the Relative Completeness of Satisfaction-based Quantum Hoare Logic","venue":"cs.LO","work_id":"3e8eb54d-a93d-4e49-9e52-b64dc84347d6","year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.942472Z"},"links":{"cited_paper":"/paper/2405.01940","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:2fdf5eb205c5c7bfc793d439312036a3fa4e11427f0ec6f1726a43430f46f4ab","observation_id":"ea4bfb79-7e06-47c2-9f10-2680f2af5d5b","resolution":{"observed_at":"2026-08-07T23:21:44.024668Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.993680Z","title":null,"venue":null,"work_id":"1ed20ea9-241c-4f57-a45e-0d06cea1e629","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.947910Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:f2ba0894bfdf16a32cff2d71e32ffefd1d552c2b60b750f8b766e5181eeef7c4","observation_id":"dd519a80-3dc4-4777-ac78-c6e4635ba478","resolution":{"observed_at":"2026-08-07T23:21:43.998934Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.04741","last_updated":"2025-02-14T16:05:29Z","snapshot_observed_at":"2026-08-13T11:01:03.621421Z","submitted_at":"2023-08-09T07:23:22Z","title":"Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs","version":3},"cited_work":{"arxiv_id":"2308.04741","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.04741","snapshot_observed_at":"2026-08-07T23:21:43.690366Z","title":"Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs","venue":"cs.PL","work_id":"026b3859-42a6-4d5a-b6e3-8e6911ed1e0e","year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.953651Z"},"links":{"cited_paper":"/paper/2308.04741","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:b74a90086eff36245afad491f576c49dd79129bca32ba7fef90b2b75d3aefb77","observation_id":"ff9a21cf-1061-43a7-acb4-4824e5662756","resolution":{"observed_at":"2026-08-07T23:21:43.697595Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41598-021-91035-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Scientific Reports","work_id":"4dbb5275-0283-46a5-8008-49ec7eea158f","year":2021},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.959745Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:801c3e51e3468d72f8c6c12b4a39099e546f2499c5982abf1ab1729e65988b2f","observation_id":"80e2fe3f-faad-4ea2-ad53-07660a7b82ea","resolution":{"observed_at":"2026-08-07T23:21:43.045495Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.968317Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.968317Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:2fb9426eaee9d852da8d1c3b970910ef31b98fdc13ddeb49fac98b7fc34d4bb3","observation_id":"70b70777-2e34-4651-b8cc-76cee1435489","resolution":{"observed_at":"2026-08-07T23:21:42.968317Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.664621Z","title":null,"venue":null,"work_id":"c9344aa9-dc74-447f-8ed6-2873316843fc","year":2011},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.973475Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:002ad144ea96057a366c9059e8cb8627819b2964d16e3a98f6acea245fff857e","observation_id":"7e5b6902-fdd9-4505-92a4-cb31e7d57633","resolution":{"observed_at":"2026-08-07T23:21:43.672382Z","resolver_source":"arxiv_id_nonexistent","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"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-07T23:21:42.978928Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.978928Z"},"links":{"cited_paper":"/paper/2412.09869","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:b95304635e19fdaf7dc81b1b81a7391c8a54dfd8b6f14fc841629478a4b552d2","observation_id":"e2467197-61c6-4843-882c-f070682f395d","resolution":{"observed_at":"2026-08-07T23:21:42.978928Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.450902Z","title":null,"venue":null,"work_id":"314536b8-bb76-4feb-aa73-efcfd9e9aac2","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.984027Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:f9b7f66b7a1c1dfe263dc0f3b82167ea4a50f2a2e70d1df4cf596a2e7044341a","observation_id":"bcc84f17-ed8d-469c-8939-f571e1ba031c","resolution":{"observed_at":"2026-08-07T23:21:43.456366Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-14T11:10:54.833726Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":10,"verified_fuzzy":2},"total_outbound_references":33},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2608.05807."}