Research author

Yimeng Cao

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

Papers by Yimeng Cao

Jul 10, 2026
quant-ph

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

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

Yimeng Cao — AI Research Papers | One9Founders