Lean-QEC delivers the first end-to-end Lean 4 formalization of stabilizer-code theory with verified distance certificates for large qLDPC codes in the Bivariate Bicycle family.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer.SIAM review, 41(2):303–332
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 3years
2026 3roles
background 1polarities
background 1representative citing papers
Dynamarq is a new scalable benchmarking framework that defines structural features for dynamic quantum circuits and uses statistical models to predict hardware fidelity with transferable parameters.
An O(n^3) algorithm builds quantum hashing and QFT circuits on cactus qubit graphs by solving the shortest non-simple 1-covering path problem in polynomial time.
citing papers explorer
-
End-to-End Formalization of Quantum Error Correction
Lean-QEC delivers the first end-to-end Lean 4 formalization of stabilizer-code theory with verified distance certificates for large qLDPC codes in the Bivariate Bicycle family.
-
Characterizing and Benchmarking Dynamic Quantum Circuits
Dynamarq is a new scalable benchmarking framework that defines structural features for dynamic quantum circuits and uses statistical models to predict hardware fidelity with transferable parameters.
-
Circuits of Quantum Hashing and Quantum Fourier Transform for a Cactus as a Qubit Connectivity Graph
An O(n^3) algorithm builds quantum hashing and QFT circuits on cactus qubit graphs by solving the shortest non-simple 1-covering path problem in polynomial time.