Publication Jul 23, 2026 arXiv:2607.21533Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum InformationLei Zhang, Yusheng Zhao, Yimeng Cao, Ranyiliu Chen, Jizhe Lai, Ziao Tang, Jingu Xie, Hongshun Yao, Xuanqiang Zhao, Guocheng Zhen, Chengkai Zhu, Xin WangPDF Cite DOI
Publication Jul 15, 2026 arXiv:2607.14082Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256Lei Zhang, Yusheng Zhao, Hongshun Yao, Xin WangPDF Cite Code DOI
Publication Jul 14, 2026 arXiv:2607.12981An Agentic Formalization for Certified Quantum Neural Network DesignMingrui Jing, Lei Zhang, Yusheng Zhao, Hongshun Yao, Xin WangPDF Cite Code DOI
Publication Jul 10, 2026 arXiv:2607.09632Lean-QIT: Towards a Formal Infrastructure for Quantum Information TheoryChengkai Zhu, Ziao Tang, Guocheng Zhen, Yimeng Cao, Yusheng Zhao, Ranyiliu Chen, Xuanqiang Zhao, Lei Zhang, Xin WangPDF Cite Code DOI