Warren D. Craft

Verifying Quantum Phase Estimation (QPE) using Prove-It

2023 · arXiv (Cornell University)

The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome probabilities. Prove-It is unique in its ability to express sophisticated mathematical statements, including …