Haoxiong Liu

Intern, Huawei Technologies Ltd.

PhD student, IIIS, Tsinghua University

  • Joined October 2020

Names

Haoxiong Liu (Preferred)

Emails

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

Career & Education History

Intern
Huawei Technologies Ltd. (huawei.com)
2024Present
 
PhD student
IIIS, Tsinghua University (mails.tsinghua.edu.cn)
2020Present
 
Undergrad student
Zhejiang University (zju.edu.cn)
20162020
 

Advisors, Relations & Conflicts

PhD Advisor
Andrew Yao
2020Present
 

Expertise

Neural Theorem Proving
2024Present
 
Automated Mathematical Reasoning
2023Present
 
Deep Learning Theory
2020Present