123 citations · 452 across the 25 of their papers we have counts for
3 papers · 2 filters
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…
A superconducting surface-code processor with lattice-surgery logical operations
Yanzhe Wang, Fanhao Shen, Haipeng Xie +31
Fault-tolerant logical operations are fundamental for scalable quantum computation. Here, we report the experimental realization of lattice-surgery operations between a pair of dis…
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…