SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits

Nengkun Yu, Jens Palsberg, Thomas Reps

Reasoning about quantum programs remains a fundamental challenge, regardless of the programming model or computational paradigm. Despite extensive research, existing verification t…