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.