{"as_of":"2026-08-24T01:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4de1a6600a474ec2ec6765985378604cf0d0b157b2a490af247e3f6e92dbb7f8","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:30:04.480640Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:35:22.998780Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T16:35:23.499799Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"cited_work":{"arxiv_id":"1908.08963","doi":null,"metadata_source":"pith","pith_arxiv_id":"1908.08963","snapshot_observed_at":"2026-08-15T16:35:23.499799Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","venue":"quant-ph","work_id":"9a4dc467-ccea-4ce2-bf47-08ae2ff0b60d","year":2019},"citing_paper":{"arxiv_id":"2509.03280","last_updated":"2025-09-03T12:58:22Z","snapshot_observed_at":"2026-08-17T20:23:26.785926Z","submitted_at":"2025-09-03T12:58:22Z","title":"An experience-based classification of quantum bugs in quantum software","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T16:35:22.998780Z"},"links":{"cited_paper":"/paper/1908.08963","citing_paper":"/paper/2509.03280"},"observation_digest":"sha256:bfeba68102ddf11ec7f1c862ffb1effd0e51838cefb12764e052ba7663cc521a","observation_id":"d22cb056-3db8-43e1-b42a-26f16d2cf8ee","resolution":{"observed_at":"2026-08-15T16:35:23.505119Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/1908.08963/citation-record","integrity":"/paper/1908.08963/integrity","json":"/paper/1908.08963/citation-record.json","paper":"/paper/1908.08963"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:30:04.952094Z","title":"Towards Large-scale Functional Verification of Universal Quantum Circuits","venue":null,"work_id":"4b84836f-1b69-4e58-b46d-1b3b53c7ad85","year":2019},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.342943Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:9dba50bce9c68e222217937adddfbd9a923ae3179751bdb743505d8069f43167","observation_id":"6d4cc9e9-5c71-45b6-b9ed-0540ad42778d","resolution":{"observed_at":"2026-08-14T11:30:04.956992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.936578Z","title":null,"venue":null,"work_id":"56a1992a-a2d9-42e3-9c4c-1864672321cf","year":2017},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.349010Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:770d74025aa4f3c975aa8f8b07b7aa449583fcd8ae1c96e6280153c580daaa4c","observation_id":"bcaba639-34d3-4516-b9b2-1d24e7b821f2","resolution":{"observed_at":"2026-08-14T11:30:04.941680Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.921138Z","title":"Nuclear Induction.Phys","venue":null,"work_id":"05931651-0b7b-47fd-8fc2-8c065ce41f77","year":1946},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.353961Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:9bd55003b28e66c854df9e7bafe42b919095eeacd2a7f7b8d54a62ae19585492","observation_id":"e311d5e6-efe3-4bca-a62a-cf9fb6d23bac","resolution":{"observed_at":"2026-08-14T11:30:04.926154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.906738Z","title":"Equivalent Quantum Circuits","venue":null,"work_id":"613f0d4e-2319-4dde-9efb-8fd3248e5a5d","year":2011},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.358980Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:274aeb04691e2ebab5fedd6c06e4be7ee81beecb7dc0bb183c90bbae319a20ec","observation_id":"a7b550a6-5778-4179-be02-ad1d33f6690e","resolution":{"observed_at":"2026-08-14T11:30:04.911389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.891561Z","title":"Available electronically athttp: //coq.inria.fr/doc","venue":null,"work_id":"8e49195a-a7e3-439b-a31c-1574c6d1dce0","year":2012},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.364037Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:9ffa9b5f93f96df86fb0f85c3d9f3fa38463d76393aeb1448911d679c8fd526a","observation_id":"fb744465-6cba-422a-ad18-cd0b131aebcf","resolution":{"observed_at":"2026-08-14T11:30:04.896249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.03429","last_updated":"2017-07-13T21:23:15Z","snapshot_observed_at":"2026-08-14T20:48:17.813521Z","submitted_at":"2017-07-11T18:49:44Z","title":"Open Quantum Assembly Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.03429","snapshot_observed_at":"2026-08-14T11:30:04.368766Z","title":"Open quantum assembly language.arXiv preprint arXiv:1707.03429, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.368766Z"},"links":{"cited_paper":"/paper/1707.03429","citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:638dbdf50df592eec29eb359058efc3f46faf8a283ed195a184390f9c1b7e570","observation_id":"ed41abb9-adae-46d0-b849-3ec9ad931fed","resolution":{"observed_at":"2026-08-14T11:30:04.368766Z","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-14T11:30:04.877287Z","title":"Z3: An efficient SMT Solver","venue":null,"work_id":"07d2ddf6-56de-46da-a683-e913e859b3d2","year":2008},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.374334Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:a22ac7b7122bdd889c3314152880f0a8833267fce263d67e4901c86b87f87d82","observation_id":"5014eca9-874a-40fb-9785-c381f5ff6725","resolution":{"observed_at":"2026-08-14T11:30:04.881833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.862632Z","title":"Cambridge University Press, 2009","venue":null,"work_id":"920386cb-13c0-4510-b650-aec2aaec269c","year":2009},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.379248Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:c1afc642d6bc9783e8e56018775861ad97f0049bf8397a3be05d60a731541cd1","observation_id":"5c0abf6f-6b66-47ac-97ed-c4c4aa38cb18","resolution":{"observed_at":"2026-08-14T11:30:04.867302Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.847568Z","title":"Verified Optimization in a Quantum Intermediate Representation.arxiv, apr 2019","venue":null,"work_id":"d7d4ebff-69bc-453a-9ad3-3efec948ee5c","year":2019},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.383902Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:98aa6bb360afbf143e5303603d847208136f97add0082b7469cceb8737ece123","observation_id":"4ba98b19-5622-4707-b3a5-5222fd8d35df","resolution":{"observed_at":"2026-08-14T11:30:04.852801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.831340Z","title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation","venue":null,"work_id":"b9dd8a07-13df-46ba-929f-a5b7e59168a1","year":2003},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.388806Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:8464fe63543408c39c53290b08fa07aeab210b95e3785ff6a4cef4225af01bb3","observation_id":"29b3c26b-7819-46db-888a-a0e4892bd2a8","resolution":{"observed_at":"2026-08-14T11:30:04.836694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.816378Z","title":"Formal verification of a realistic compiler.Com- munications of the ACM, 52(7):107–115, 2009","venue":null,"work_id":"40841166-3874-48a9-bcb0-ea994a053073","year":2009},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.393358Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:b05c9a09a639d2cb97461ece340bab839c3fe2c9d212a0a89abafe53b25c2527","observation_id":"dd91a014-ab8b-4fd5-874b-821267888623","resolution":{"observed_at":"2026-08-14T11:30:04.821225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.802197Z","title":"Q| SI?: A quantum programming environment","venue":null,"work_id":"06026e29-6881-47eb-8388-1aeecd7408e9","year":2018},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.398240Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:adb1e78bfbcd0bcd2e016e56e315e6bd9ea55d1b0af813df216e3e6686d43fdd","observation_id":"4ca9870c-1e96-471c-bf1c-4bd54bb77cf9","resolution":{"observed_at":"2026-08-14T11:30:04.806828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.787278Z","title":"Lopes, David Menendez, Santosh Nagarakatte, and John Regehr","venue":null,"work_id":"1e4e670b-51dc-43bc-a4dd-f1da9d1d485a","year":2015},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.402920Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:3bde1a5feae0fe8688d61be9c3222027394049afae3318a6a8795732939223f6","observation_id":"7cc0e988-1fc2-4b7a-89a2-8f577ace45b1","resolution":{"observed_at":"2026-08-14T11:30:04.791910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.773236Z","title":"Forward and backward simulations","venue":null,"work_id":"01b8a67d-5de8-4e9e-abce-8af3c4002d7e","year":1995},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.407724Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:4db93acc5ad19ca94c833d36b868549cf1a96e4e9f155e38fa24c7219d5a1068","observation_id":"62aefecc-7ea0-4eb4-8e12-6d778c24f84b","resolution":{"observed_at":"2026-08-14T11:30:04.777902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.758022Z","title":"Quantum Circuit Simplification and Level Compaction.IEEE Transactions on Computer-Aided Design of Integrated Cir- cuits and Systems, 27(3):436–444, mar 2008","venue":null,"work_id":"7ffcf108-b301-45b0-9cf7-c893ad757b2f","year":2008},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.412250Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:bebd6d90ab196ef796eaecd99a0938f53f82ce3ac76c4dfc2968d40d600895da","observation_id":"ea428af4-c036-4740-a269-dcecd0a75481","resolution":{"observed_at":"2026-08-14T11:30:04.763017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.743256Z","title":"McKay, Thomas Alexander, Luciano Bello, Michael J","venue":null,"work_id":"916f2871-e895-4825-850f-ee60e525c592","year":2018},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.416659Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:efd64d344c815915a42fa86a21ee37873a924428eb908273d51fc0eb01646696","observation_id":"d2d392e2-5bc6-42c1-a827-7cb039126cb7","resolution":{"observed_at":"2026-08-14T11:30:04.748135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.728384Z","title":"Baker, Ali Javadi-Abhari, Fred- eric T","venue":null,"work_id":"6ba4a2ab-12ee-4700-bc95-29a1886343d4","year":2019},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.421240Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:0f1000c6bfc303736315036c85c0fc90e78cbfed7b993ef5398731df494bfcf6","observation_id":"fc407094-36f9-4ace-b033-f107b72caf8f","resolution":{"observed_at":"2026-08-14T11:30:04.733107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.713369Z","title":"Mckay, Margaret Martonosi, and Ali Javadi-Abhari","venue":null,"work_id":"61c2fc06-3036-466d-87e8-271974379efb","year":2020},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.425931Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:94cc7173cea0fc4bf9cd5601054121f0d78b768cf5fc3292c095725b4ea8ee0f","observation_id":"fb590e99-2c3b-4acd-99f0-4dd32d5916f9","resolution":{"observed_at":"2026-08-14T11:30:04.718281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.695523Z","title":"Scaling symbolic evaluation for automated verification of systems code with serval","venue":null,"work_id":"8a6197dc-a866-40e4-993d-4e9e5e3633ed","year":null},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.430655Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:21e6e04af16d1eaf43e7e91f2bb071838f3f7551e72f0a1a27c7b52fd3cccdf6","observation_id":"f8222b42-bcc3-4dd2-ad31-ed167c36dcd9","resolution":{"observed_at":"2026-08-14T11:30:04.701961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.680640Z","title":"Hyperkernel: Push-button verification of an os kernel","venue":null,"work_id":"56739129-3c93-463b-aa12-e2764baf9cbc","year":null},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.435305Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:9fa2c5c6e061c694cc7722b4911ef8c02af62072ede01dae6cb44f943c41238f","observation_id":"8040bec6-31e4-43f5-9699-1fe2178a3e5b","resolution":{"observed_at":"2026-08-14T11:30:04.685388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.665845Z","title":"Nielsen and Isaac L","venue":null,"work_id":"fc89e515-a98b-4c9a-af6f-47eb447529f0","year":2011},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.440344Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:b531c4d14c0bc83b19e5d8ad3d2e41a18dde61ce8503085ccb214496ca193865","observation_id":"e42369b7-350a-48b3-94d8-388ba0346e61","resolution":{"observed_at":"2026-08-14T11:30:04.670439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.651474Z","title":"Available at https://github.com/ Qiskit/qiskit-terra/issues/1871","venue":null,"work_id":"07f3e025-6386-4e5d-89b6-c29d8e52a1d7","year":2018},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.444777Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:d6662aa80eaef1f245d3b71bbd3a97e5278a9f249f476584c7a9e6c3747e195a","observation_id":"d34dc2a8-8e5a-4569-854a-cad91334560e","resolution":{"observed_at":"2026-08-14T11:30:04.656249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1901.10118","last_updated":"2019-01-29T05:40:06Z","snapshot_observed_at":"2026-08-14T17:24:29.564756Z","submitted_at":"2019-01-29T05:40:06Z","title":"ReQWIRE: Reasoning about Reversible Quantum Circuits","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1901.10118","snapshot_observed_at":"2026-08-14T11:30:04.449348Z","title":"ReQWIRE: Reasoning about Reversible Quantum Circuits","venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.449348Z"},"links":{"cited_paper":"/paper/1901.10118","citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:0f9ecc14c9ef079178ccce2b365c50cb0597bd8fa04b55840275c20d36575f4a","observation_id":"4687df86-cb6e-4e3a-b160-0953012a3ab8","resolution":{"observed_at":"2026-08-14T11:30:04.449348Z","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-14T11:30:04.636511Z","title":"QWIRE Practice: Formal Verification of Quantum Circuits in Coq","venue":null,"work_id":"ed3ed730-d0d9-47c7-a9e6-75f857bb73f9","year":2018},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.454168Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:57e02a497f8bb28cfb782e4f14b4a0ad40808641d72ade7390bb0096aff6bee1","observation_id":"8f1de7fe-88ea-4022-b2e8-c31a60bf167d","resolution":{"observed_at":"2026-08-14T11:30:04.641520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.620470Z","title":"Schuster, Henry Hoffmann, and Frederic T","venue":null,"work_id":"3ad74e36-f3d5-4788-a710-8bf4761f3ce3","year":2019},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.458843Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:544d7c74034071462510c2fc176407fb9bc5b26d27c7b429625189f1a87bf1fc","observation_id":"d15c90b1-914b-49c4-927c-64b31a2844ae","resolution":{"observed_at":"2026-08-14T11:30:04.625566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.604118Z","title":"Push-Button Verification of File Systems via Crash Refinement","venue":null,"work_id":"41f03f2b-94f0-4f36-9458-f6781d2e8ce3","year":2016},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.463220Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:c2d518034a805b93bfb06f77b6db80d929471faef751c1edd69788cd4cc50405","observation_id":"075ae59c-a87e-4f23-b93c-e58f0c9d3e3e","resolution":{"observed_at":"2026-08-14T11:30:04.609111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.588859Z","title":"Verified translation between low-level quantum languages","venue":null,"work_id":"1958809d-9cee-45ce-8b8c-8fbee767c158","year":2020},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.467552Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:15c3f01def2be653e5c566e00314133e4ddacab6d7929ef5b59084653ee7525e","observation_id":"a15fe241-977d-4410-883f-ca55da53631e","resolution":{"observed_at":"2026-08-14T11:30:04.594120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.573146Z","title":"Available at https: //github.com/Qiskit/qiskit-terra/issues","venue":null,"work_id":"c662632e-95d5-4603-bc07-2c65d71c5451","year":2018},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.471765Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:cd95422419067cf90fa576958e56645005baa70338dc1a3b28fd0c3b5108c372","observation_id":"0f70c0f5-618a-4ea3-89a0-607e6643edab","resolution":{"observed_at":"2026-08-14T11:30:04.578666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.558354Z","title":"Viamontes, Igor L","venue":null,"work_id":"78847a8b-35b6-4632-be81-37845391583d","year":2007},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.476251Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:6773f7b92f65b5555b42f8b66e7d4dec2dc2524ca9cf29eb0befd7d4d836f4f7","observation_id":"50e5b875-c297-4690-8cf2-b9df50b7e49f","resolution":{"observed_at":"2026-08-14T11:30:04.562885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T11:30:04.540977Z","title":"Floyd–hoare logic for quantum programs","venue":null,"work_id":"b3b99aea-2441-4b75-960d-48a87ca1c7f6","year":2011},"citing_paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler","version":5},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T11:30:04.480640Z"},"links":{"citing_paper":"/paper/1908.08963"},"observation_digest":"sha256:5411a7613dbdd6d4e4c328fdb7a34c0e90d8d7fa3df7c70cb30dbc1b11934cb9","observation_id":"e0624490-91ae-4256-84dc-52775ea3f8c8","resolution":{"observed_at":"2026-08-14T11:30:04.547786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.08963","last_updated":"2020-11-26T14:09:35Z","latest_version":5,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-15T21:54:56.441017Z","submitted_at":"2019-08-23T18:02:17Z","title":"CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":30},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 24 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 1 inbound Pith citation observation for arXiv:1908.08963."}