Research author

Ziao Tang

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

Papers by Ziao Tang

Jul 10, 2026
quant-ph

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

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

Ziao Tang — AI Research Papers | One9Founders