Author

Xuanqiang Zhao

h-index 9 View on Semantic Scholar

We have 3 of 22 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Jul 2026

Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information

Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured. We introduce Lean-QuantumAlg-Bench and Lean-QIT-Bench, two Lean 4 benchmarks containing 36 and 40 theorem-completion tasks for quantum algor...

Lei Zhang, Yusheng Zhao, Yimeng Cao et al. · 1 citation · ⚡1

Preprint Sep 2026

Virtual quantum neural networks

This work extends the notion of quantum neural network, using random sampling and classical data processing to enlarge the optimization space in a way that includes linear combinations of completely positive maps and leverages its enlarged optimization space to achieve increased expressivity and improved noise robustne...

Ben-Chi Zhao, Xuanqiang Zhao, Yi-Nan Li et al. · 0 citations

Jul 2026

Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory

Lean-QIT provides a machine-readable foundation for formal QIT and a compositional knowledge substrate for emerging AI-assisted formalization, automated proof search, and agentic reasoning in quantum information and computation.

Chengkai Zhu, Ziao Tang, Guocheng Zhen et al. · arXiv.org · 2 citations