TY  - RPRT
TI  - A Verified Optimizer for Quantum Circuits
AU  - Hietala, Kesha
AU  - Rand, Robert
AU  - Li, Liyi
AU  - Hung, Shih-Han
AU  - Wu, Xiaodi
AU  - Hicks, Michael
PY  - 2023
DO  - 10.1145/3604630
UR  - https://www.osti.gov/biblio/2420911
ID  - 2420911
ER  -