Yusheng Zhao | Wang Research Grouphttps://www.quair.group/author/yusheng-zhao/Yusheng ZhaoWowchemy (https://wowchemy.com)en-usThu, 23 Jul 2026 00:00:00 +0000https://www.quair.group/media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.pngYusheng Zhaohttps://www.quair.group/author/yusheng-zhao/Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Informationhttps://www.quair.group/publication/preprint/zhang2026benchmarking/Thu, 23 Jul 2026 00:00:00 +0000https://www.quair.group/publication/preprint/zhang2026benchmarking/<!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> Supplementary notes can be added here, including [code and math](https://wowchemy.com/docs/content/writing-markdown-latex/). -->Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256https://www.quair.group/publication/preprint/zhang2026building/Wed, 15 Jul 2026 00:00:00 +0000https://www.quair.group/publication/preprint/zhang2026building/<!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> Supplementary notes can be added here, including [code and math](https://wowchemy.com/docs/content/writing-markdown-latex/). -->An Agentic Formalization for Certified Quantum Neural Network Designhttps://www.quair.group/publication/preprint/jing2026agentic/Tue, 14 Jul 2026 00:00:00 +0000https://www.quair.group/publication/preprint/jing2026agentic/<!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> Supplementary notes can be added here, including [code and math](https://wowchemy.com/docs/content/writing-markdown-latex/). -->Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theoryhttps://www.quair.group/publication/preprint/zhu2026leanqit/Fri, 10 Jul 2026 00:00:00 +0000https://www.quair.group/publication/preprint/zhu2026leanqit/<!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> Supplementary notes can be added here, including [code and math](https://wowchemy.com/docs/content/writing-markdown-latex/). -->