@misc{indiciae2a8638909a2d,
  title = {AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)},
  author = {Yu-Fang Chen and Kai-Min Chung and Min-Hsiu Hsieh and Wei-Jia Huang and Ondřej Lengál and Jyun-Ao Lin and Wei-Lun Tsai},
  year = {2026},
  url = {https://arxiv.org/abs/2411.09121},
  note = {Source identifier: 2411.09121}
}