TY  - RPRT
TI  - Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
AU  - Lei Zhang
AU  - Yusheng Zhao
AU  - Yimeng Cao
AU  - Ranyiliu Chen
AU  - Mingrui Jing
AU  - Jizhe Lai
AU  - Ziao Tang
AU  - Jingu Xie
AU  - Hongshun Yao
AU  - Xuanqiang Zhao
AU  - Guocheng Zhen
AU  - Chengkai Zhu
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.21533
ID  - 2607.21533
ER  -