Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:30:04.480640Z
Paper Citation Record · LEDGER
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
As of 23 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 1 inbound Pith citation observation for arXiv:1908.08963.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T16:35:22.998780Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T16:35:23.499799Z
Reference resolution
30 of 30 outbound references displayed
- verified exact0
- verified fuzzy27
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 6d4cc9e9-5c71-45b6-b9ed-0540ad42778d · outbound
This paper cites Towards Large-scale Functional Verification of Universal Quantum Circuits.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Towards Large-scale Functional Verification of Universal Quantum Circuits
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.956992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bcaba639-34d3-4516-b9b2-1d24e7b821f2 · outbound
This paper cites an unresolved cited work.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:30:04.941680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e311d5e6-efe3-4bca-a62a-cf9fb6d23bac · outbound
This paper cites Nuclear Induction.Phys.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Nuclear Induction.Phys
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.926154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a7b550a6-5778-4179-be02-ad1d33f6690e · outbound
This paper cites Equivalent Quantum Circuits.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Equivalent Quantum Circuits
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.911389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fb744465-6cba-422a-ad18-cd0b131aebcf · outbound
This paper cites Available electronically athttp: //coq.inria.fr/doc.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Available electronically athttp: //coq.inria.fr/doc
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.896249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ed41abb9-adae-46d0-b849-3ec9ad931fed · outbound
This paper cites Open Quantum Assembly Language.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Open Quantum Assembly Language
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:30:04.368766Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5014eca9-874a-40fb-9785-c381f5ff6725 · outbound
This paper cites Z3: An efficient SMT Solver.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Z3: An efficient SMT Solver
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.881833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5c0abf6f-6b66-47ac-97ed-c4c4aa38cb18 · outbound
This paper cites Cambridge University Press, 2009.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Cambridge University Press, 2009
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.867302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4ba98b19-5622-4707-b3a5-5222fd8d35df · outbound
This paper cites Verified Optimization in a Quantum Intermediate Representation.arxiv, apr 2019.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Verified Optimization in a Quantum Intermediate Representation.arxiv, apr 2019
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.852801Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 29b3c26b-7819-46db-888a-a0e4892bd2a8 · outbound
This paper cites LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.836694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation dd91a014-ab8b-4fd5-874b-821267888623 · outbound
This paper cites Formal verification of a realistic compiler.Com- munications of the ACM, 52(7):107–115, 2009.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Formal verification of a realistic compiler.Com- munications of the ACM, 52(7):107–115, 2009
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.821225Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4ca9870c-1e96-471c-bf1c-4bd54bb77cf9 · outbound
This paper cites Q| SI?: A quantum programming environment.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Q| SI?: A quantum programming environment
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.806828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7cc0e988-1fc2-4b7a-89a2-8f577ace45b1 · outbound
This paper cites Lopes, David Menendez, Santosh Nagarakatte, and John Regehr.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Lopes, David Menendez, Santosh Nagarakatte, and John Regehr
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.791910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 62aefecc-7ea0-4eb4-8e12-6d778c24f84b · outbound
This paper cites Forward and backward simulations.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Forward and backward simulations
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.777902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ea428af4-c036-4740-a269-dcecd0a75481 · outbound
This paper cites Quantum Circuit Simplification and Level Compaction.IEEE Transactions on Computer-Aided Design of Integrated Cir- cuits and Systems, 27(3):436–444, mar 2008.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Quantum Circuit Simplification and Level Compaction.IEEE Transactions on Computer-Aided Design of Integrated Cir- cuits and Systems, 27(3):436–444, mar 2008
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.763017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d2d392e2-5bc6-42c1-a827-7cb039126cb7 · outbound
This paper cites McKay, Thomas Alexander, Luciano Bello, Michael J.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler McKay, Thomas Alexander, Luciano Bello, Michael J
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.748135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fc407094-36f9-4ace-b033-f107b72caf8f · outbound
This paper cites Baker, Ali Javadi-Abhari, Fred- eric T.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Baker, Ali Javadi-Abhari, Fred- eric T
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.733107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fb590e99-2c3b-4acd-99f0-4dd32d5916f9 · outbound
This paper cites Mckay, Margaret Martonosi, and Ali Javadi-Abhari.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Mckay, Margaret Martonosi, and Ali Javadi-Abhari
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.718281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f8222b42-bcc3-4dd2-ad31-ed167c36dcd9 · outbound
This paper cites Scaling symbolic evaluation for automated verification of systems code with serval.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Scaling symbolic evaluation for automated verification of systems code with serval
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.701961Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8040bec6-31e4-43f5-9699-1fe2178a3e5b · outbound
This paper cites Hyperkernel: Push-button verification of an os kernel.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Hyperkernel: Push-button verification of an os kernel
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.685388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e42369b7-350a-48b3-94d8-388ba0346e61 · outbound
This paper cites Nielsen and Isaac L.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Nielsen and Isaac L
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.670439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d34dc2a8-8e5a-4569-854a-cad91334560e · outbound
This paper cites Available at https://github.com/ Qiskit/qiskit-terra/issues/1871.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Available at https://github.com/ Qiskit/qiskit-terra/issues/1871
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.656249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4687df86-cb6e-4e3a-b160-0953012a3ab8 · outbound
This paper cites ReQWIRE: Reasoning about Reversible Quantum Circuits.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler ReQWIRE: Reasoning about Reversible Quantum Circuits
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:30:04.449348Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f1de7fe-88ea-4022-b2e8-c31a60bf167d · outbound
This paper cites QWIRE Practice: Formal Verification of Quantum Circuits in Coq.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.641520Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d15c90b1-914b-49c4-927c-64b31a2844ae · outbound
This paper cites Schuster, Henry Hoffmann, and Frederic T.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Schuster, Henry Hoffmann, and Frederic T
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.625566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 075ae59c-a87e-4f23-b93c-e58f0c9d3e3e · outbound
This paper cites Push-Button Verification of File Systems via Crash Refinement.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Push-Button Verification of File Systems via Crash Refinement
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.609111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a15fe241-977d-4410-883f-ca55da53631e · outbound
This paper cites Verified translation between low-level quantum languages.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Verified translation between low-level quantum languages
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.594120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0f70c0f5-618a-4ea3-89a0-607e6643edab · outbound
This paper cites Available at https: //github.com/Qiskit/qiskit-terra/issues.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Available at https: //github.com/Qiskit/qiskit-terra/issues
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.578666Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 50e5b875-c297-4690-8cf2-b9df50b7e49f · outbound
This paper cites Viamontes, Igor L.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Viamontes, Igor L
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.562885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e0624490-91ae-4256-84dc-52775ea3f8c8 · outbound
This paper cites Floyd–hoare logic for quantum programs.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler Floyd–hoare logic for quantum programs
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:30:04.547786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
Observation d22cb056-3db8-43e1-b42a-26f16d2cf8ee · inbound
An experience-based classification of quantum bugs in quantum software cites this paper.
An experience-based classification of quantum bugs in quantum software CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Reference 47
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T16:35:23.505119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.