Ziao Tang
I am a PhD student in Artificial Intelligence at The Hong Kong University of Science and Technology (Guangzhou), supervised by Ge Bai and co-supervised by Xin Wang. I received my BSc in Mathematics from The University of Hong Kong in 2025.
My research interests include quantum information and computing, quantum error correction, and AI for quantum information and computing theory.
I am also a principal developer of Lean-QIT, an open-source Lean 4 formal infrastructure for quantum information theory.
Academic Publications and Preprints
Classical Capacity and Entanglement Cost of the Amplitude Damping Channel
Tang, Z., Zhu, C., Bai, G., & Wang, X.
Cited by OpenAI in its work on Problem 276 (Reference [18]).A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games
Tang, Z., Zhu, C., Bai, G., Wang, X., & Chen, R.Logical Entangling with Phantom Codes in Hypergraph Products
He, K.*, Tang, Z.*, Li, Z., Bai, G., & Wang, X.Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Zhu, C., Tang, Z., Zhen, G., Cao, Y., Zhao, Y., Chen, R., Zhao, X., Zhang, L., & Wang, X.Simulation of adjoints and Petz recovery maps for unknown quantum channels
Zhu, C.*, Tang, Z.*, Zhen, G., Li, Y., Bai, G., & Wang, X.Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Zhang, L., Zhao, Y., …, Tang, Z., …, & Wang, X.