TY  - RPRT
TI  - CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
AU  - Yunong Shi
AU  - Runzhou Tao
AU  - Xupeng Li
AU  - Ali Javadi-Abhari
AU  - Andrew W. Cross
AU  - Frederic T. Chong
AU  - Ronghui Gu
PY  - 2020
UR  - https://arxiv.org/abs/1908.08963
ID  - 1908.08963
ER  -