Zi-Kai Xiao (Preferred)
Zikai Xiao
Zi-Kai Xiao
PhD student, Department of Computer Science and Technology, Tsinghua University, Tsinghua University
Joined
October 2023
Names
,
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
Expertise
automated theorem proving
2025 – Present
deep learning
2023 – Present
object detection
2023 – 2024