Finnegan Voichick

Li, L., Voichick, F., Hietala, K., Peng, Y., Wu, X., & Hicks, M. (2021). Verified Compilation of Quantum Oracles. ArXiv. Retrieved from https://arxiv.org/abs/2112.06700 (Original work published December 2021)