41 citations · 194 across the 18 of their papers we have counts for
4 papers · 1 filter
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…
Quantum many-body mixed phase space revealed by hybrid feedback control
Hang Dong, Jie Ren, Andrew Hallam +9
Understanding how complex systems transition between order and chaos is a central challenge of nonequilibrium physics. While weak perturbations of classical integrable systems give…
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…
SCAFFOLD-CEGIS: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
Yi Chen, Yun Bian, Haiquan Wang +2
The application of large language models to code generation has evolved from one-shot generation to iterative refinement, yet the evolution of security throughout iteration remains…