@misc{indiciaed2d7b7c388ff, title = {Evaluating Verified Autonomy in Quantum Engineering}, author = {Naixu Guo and Changhao Li and Siyu Cheng and Qicheng Tang and Binzhao Luo and Bikun Li and Yuxuan Du and Shihao Ru and Jiaqi Cai}, year = {2026}, url = {https://arxiv.org/abs/2609.17439}, note = {Source identifier: 2609.17439} }