@misc{indiciaef4fd47a1e04a,
  title = {CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler},
  author = {Yunong Shi and Runzhou Tao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
  year = {2020},
  url = {https://arxiv.org/abs/1908.08963},
  note = {Source identifier: 1908.08963}
}