53 citations · 200 across the 15 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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-ph2026
Teleportation transition of surface codes on a superconducting quantum processor
Yiren Zou, Hong-Kuan Xia, Aosai Zhang +32
The topological surface code is a leading candidate for harnessing long-range entanglement to protect logical quantum information against errors, and teleportation of logical state…