TY  - RPRT
TI  - AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
AU  - Yu-Fang Chen
AU  - Kai-Min Chung
AU  - Min-Hsiu Hsieh
AU  - Wei-Jia Huang
AU  - Ondřej Lengál
AU  - Jyun-Ao Lin
AU  - Wei-Lun Tsai
PY  - 2026
UR  - https://arxiv.org/abs/2411.09121
ID  - 2411.09121
ER  -