Haoxiong Liu (Preferred)
Haoxiong Liu
Joined
October 2020
Names
Emails
****@mails.tsinghua.edu.cn (Confirmed)
****@qq.com (Confirmed)
Personal Links
Career & Education History
PhD student
IIIS, Tsinghua University (mails.tsinghua.edu.cn)
2020 – 2025
Undergrad student
Zhejiang University (zju.edu.cn)
2016 – 2020
Advisors, Relations & Conflicts
PhD Advisor
Andrew Yao
2020 – Present
Expertise
Neural Theorem Proving
2024 – Present
Automated Mathematical Reasoning
2023 – Present
Deep Learning Theory
2020 – Present