TY  - RPRT
TI  - Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
AU  - Arun Govindankutty
AU  - Sudarshan K. Srinivasan
PY  - 2026
UR  - https://arxiv.org/abs/2603.08762
ID  - 2603.08762
ER  -