1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
FVQKD: A Formal Verification of Quantum Key Distribution Security in Rocq
Ruixuan Deng, Zhengfeng Ji, Jiayu Zhang +1
Quantum key distribution (QKD), whose security is derived from quantum mechanics rather than computational assumptions, is moving into standardization and commercial deployment. Ye…
Long-horizon autoformalization of a core theorem underlying MIP* = RE
Sirui Lu, Ruixuan Deng, David Zhu +2
Landmark mathematical formalizations have taken specialist teams years to complete. We present FormalFlow, a system that coordinates AI proving agents under human supervision to ad…
Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams
Bin Cheng, Ziyuan Wang, Ruixuan Deng +2
Classical simulation of quantum circuits is a critical tool for validating quantum hardware and probing the boundary between classical and quantum computational power. Existing sta…
Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
Huiping Lin, Ruixuan Deng, Chris Z. Yao +2
Quantum network research at both the software stack and hardware implementation level has become an exciting area of quantum information science. Although demonstrations of small-s…