TY  - RPRT
TI  - Verified Compilation of Quantum Oracles
AU  - Liyi Li
AU  - Finn Voichick
AU  - Kesha Hietala
AU  - Yuxiang Peng
AU  - Xiaodi Wu
AU  - Michael Hicks
PY  - 2022
UR  - https://arxiv.org/abs/2112.06700
ID  - 2112.06700
ER  -