Haoxiong Liu (Preferred)
Haoxiong Liu
PhD student, IIIS, Tsinghua University
- Joined October 2020
Names
Emails
****@mails.tsinghua.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
IIIS, Tsinghua University (mails.tsinghua.edu.cn)
2020 – Present
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