@misc{indiciae7d649cf667bb,
  title = {Proving olympiad geometry theorems on a superconducting quantum processor},
  author = {Ning Wang and Zheng-Zhi Sun and Zhengyi Cui and Yiren Zou and Aosai Zhang and Fanhao Shen and Jiarun Zhong and Zehang Bao and Zitian Zhu and Han Wang and Jia-Nan Yang and Jiayuan Shen and Gongyu Liu and Yanzhe Wang and Yihang Han and Yiyang He and Jiahua Huang and Sailang Zhou and Xinrong Zhang and Yaozu Wu and Zixuan Song and Jinfeng Deng and Hang Dong and Qi Ye and Weikang Li and Si Jiang and Yixuan Ma and Shuangyue Geng and Zhide Lu and Chao Song and Hekang Li and Pengfei Zhang and Qiujiang Guo and H. Wang and Dong-Ling Deng},
  year = {2026},
  url = {https://arxiv.org/abs/2609.14533},
  note = {Source identifier: 2609.14533}
}