TY  - RPRT
TI  - Giallar: Push-Button Verification for the Qiskit Quantum Compiler
AU  - Runzhou Tao
AU  - Yunong Shi
AU  - Jianan Yao
AU  - Xupeng Li
AU  - Ali Javadi-Abhari
AU  - Andrew W. Cross
AU  - Frederic T. Chong
AU  - Ronghui Gu
PY  - 2022
UR  - https://arxiv.org/abs/2205.00661
ID  - 2205.00661
ER  -