Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Dit artikel presenteert een schaalbare formele verificatiemethode voor Quantum Phase Estimation-circuits die, door gebruik te maken van symbolische qubit-abstractie, correctheid garandeert voor circuits met meer dan 1.000 qubits binnen een beperkt geheugengebruik.