activity
20232026
most citedKoopman neural operator as a mesh-free solver of non-linear partial differential equations

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2026 · quant-phShow all

2 papers · 2 filters

quant-ph2026

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…

quant-ph2026

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…