@misc{indiciae9ec0a85db33b,
  title = {SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits},
  author = {Nengkun Yu and Jens Palsberg and Thomas Reps},
  year = {2026},
  url = {https://arxiv.org/abs/2507.13635},
  note = {Source identifier: 2507.13635}
}