2 papers
quant-ph2026
Proving olympiad geometry theorems on a superconducting quantum processor
Ning Wang, Zheng-Zhi Sun, Zhengyi Cui +32
Automated theorem proving seeks to use computational systems to prove or disprove mathematical and logical statements [1, 2]. It underpins a wide range of applications, and enhanci…
quant-ph2025
Demonstration of low-overhead quantum error correction codes
Ke Wang, Zhide Lu, Chuanyu Zhang +39
Quantum computers hold the potential to surpass classical computers in solving complex computational problems. However, the fragility of quantum information and the error-prone nat…