Research author

Guocheng Zhen

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

Papers by Guocheng Zhen

Jul 10, 2026
quant-ph

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

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

Guocheng Zhen — AI Research Papers | One9Founders