Verifying Quantum Phase Estimation (QPE) using Prove-It.

Wayne M. Witzel Warren D. Craft Robert D. Carr Deepak Kapur

Published in: CoRR (2023)

Keyphrases

estimation algorithm
accurate estimation
phase unwrapping
three dimensional
multi agent
evolutionary algorithm
model checking
robust estimation
estimation accuracy
preprocessing phase
data sets
parameter estimation
density estimation
maximum likelihood estimation
learning phase