All Stories

  1. A formally certified end-to-end implementation of Shor’s factorization algorithm

    Article • Proceedings of the National Academy of Sciences, May 2023, Proceedings of the National Academy of Sciences

    Xiaodi Wu