CV

Education

• 2025 - Present: PhD in Artificial Intelligence, The Hong Kong University of Science and Technology (Guangzhou), Nansha, Guangzhou
  • Full academic scholarship
  • Primary Supervisor: Ge Bai
  • Co-Supervisor: Xin Wang
• 2021 - 2025: BSc in Mathematics, The University of Hong Kong, Pok Fu Lam, Hong Kong

Academic Publications and Preprints

Primary Publications ——

• 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.

Collaborative Publications

• Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
  Zhang, L., Zhao, Y., …, Tang, Z., …, & Wang, X.

Infrastructure Library

• Lean-QIT: Formal Infrastructure for Quantum Information Theory
  • Principal Developer
  • Lean-QIT is an open-source formal infrastructure for quantum information theory based on Lean 4.
  • Designed reusable formal abstractions for finite-dimensional quantum states, quantum channels, and operational quantum information theory.

Conference Participation

• Beyond IID in Information Theory 14, June 22 - June 26, 2026, CUHK-Shenzhen, China
  • Poster Presentation: Simulation of adjoints and Petz recovery maps for unknown quantum channels

Teaching

• 2025-26 Spring: Teaching Assistant, AIAA 4711: Introduction to Advanced Algorithmic Techniques

Skills

• Languages: Mandarin, English, Cantonese, Spanish (beginner level)

Research Interests

• Quantum information and computing
• Quantum error correction
• AI for quantum information and computing theory

Hobbies

• Rubik’s cube speed solve: 12.35 average, 10.01 single.
• World Cube Association profile