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…
Stab-QRAM: A Clifford-Only Quantum Oracle for Affine Boolean Data
Guangyi Li, Yu Gan, Zeguan Wu +3
Oracle-based quantum algorithms require coherent evaluation of classical functions on superposed inputs, and in fault-tolerant architectures this cost is dominated by non-Clifford…
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…
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…