Research author

Chengkai Zhu

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Chengkai Zhu

Jul 10, 2026
quant-ph

Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory

Chengkai Zhu, Ziao Tang, Guocheng Zhen, et al.

Chengkai Zhu — AI Research Papers | One9Founders