@misc{indiciaeb74d24d05c5d,
  title = {Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information},
  author = {Lei Zhang and Yusheng Zhao and Yimeng Cao and Ranyiliu Chen and Mingrui Jing and Jizhe Lai and Ziao Tang and Jingu Xie and Hongshun Yao and Xuanqiang Zhao and Guocheng Zhen and Chengkai Zhu and Xin Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2607.21533},
  note = {Source identifier: 2607.21533}
}