Ziao Tang

Ziao Tang

PhD student in Artificial Intelligence at HKUST(GZ), working on quantum information and computing.

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

Published in arXiv preprint, 2026

Preprint available on arXiv. Related library: Lean-QIT.

Recommended citation: Zhu, C., Tang, Z., Zhen, G., Cao, Y., Zhao, Y., Chen, R., Zhao, X., Zhang, L., & Wang, X. Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory. arXiv:2607.09632.
Download Paper