@misc{indiciaed7e7d2d8279b,
  title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
  author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
  year = {2022},
  url = {https://arxiv.org/abs/2205.00661},
  note = {Source identifier: 2205.00661}
}