Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Published in arXiv preprint, 2026
Preprint available on arXiv.
Recommended citation: Zhang, L., Zhao, Y., ..., Tang, Z., ..., & Wang, X. Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information. arXiv:2607.21533.
Download Paper