5 papers
Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Yuqing Li, Zeguan Wu, Yu Gan +1
Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: ho…
When AI meets quantum information: A comprehensive review
Min Chen, Yu Gan, Xin Jin +15
Artificial intelligence (AI) and quantum information (QI) are rapidly co-evolving. AI is becoming a practical tool for learning, designing, controlling, and verifying quantum syste…
Provably Efficient Quantum Algorithms for Solving Nonlinear Differential Equations Using Multiple Bosonic Modes Coupled with Qubits
Yu Gan, Hirad Alipanah, Jinglei Cheng +7
Quantum computers have long been expected to efficiently solve complex classical differential equations. Most digital, fault-tolerant approaches use Carleman linearization to map n…
Human-AI Co-Embodied Intelligence for Scientific Experimentation and Manufacturing
Xinyi Lin, Yuyang Zhang, Yuanhang Gan +10
Scientific experimentation and manufacturing rely on prolonged protocol development and complex, multi-step implementation, which require continuous human expertise for precise exe…
A parity obstruction to degree-optimal syndrome extraction in bivariate bicycle codes
Guangyi Li, Yu Gan, Zeguan Wu +3
Syndrome extraction for a CSS code has depth at least the Tanner-graph degree , attained by edge colouring if gate order is ignored; correctness adds a parity constraint. We pro…