@misc{indiciae47ceb1bfbab9,
  title = {Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits},
  author = {Arun Govindankutty and Sudarshan K. Srinivasan},
  year = {2026},
  url = {https://arxiv.org/abs/2603.08762},
  note = {Source identifier: 2603.08762}
}