Zi-Kai Xiao

PhD student, Department of Computer Science and Technology, Tsinghua University, Tsinghua University

  • Joined October 2023

Names

Zi-Kai Xiao (Preferred)
,
Zikai Xiao

Emails

****@mails.tsinghua.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student
Department of Computer Science and Technology, Tsinghua University, Tsinghua University (tsinghua.edu.cn)
2023 – Present
 
Undergrad student
Department of Computer Science and Technology, Tsinghua University, Tsinghua University (tsinghua.edu.cn)
2019 – 2023
 

Advisors, Relations & Conflicts

PhD Advisor
2023 – Present
 
PhD Advisor
2023 – Present
 

Expertise

automated theorem proving
2025 – Present
 
deep learning
2023 – Present
 
object detection
2023 – 2024