A Formally Certified End-to-end Implementation of Shor’s Factorization Algorithm
Published in Proceedings of the National Academy of Sciences (PNAS), 2023
Citation: Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu. "A Formally Certified End-to-end Implementation of Shor’s Factorization Algorithm." Proceedings of the National Academy of Sciences (PNAS). 2023.