TY  - RPRT
TI  - Evaluating Verified Autonomy in Quantum Engineering
AU  - Naixu Guo
AU  - Changhao Li
AU  - Siyu Cheng
AU  - Qicheng Tang
AU  - Binzhao Luo
AU  - Bikun Li
AU  - Yuxuan Du
AU  - Shihao Ru
AU  - Jiaqi Cai
PY  - 2026
UR  - https://arxiv.org/abs/2609.17439
ID  - 2609.17439
ER  -