I am a fifth-year PhD student at IIIS, Tsinghua University, advised by Prof. Andrew C Yao.
Currently, I am focusing on building verifiable and evolvable reasoning systems. My interests include:
Feel free to reach out to me if you are interested in my research!
Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C Yao
To appear at ICML 2025
Augmenting Math Word Problems via Iterative Question Composing
Haoxiong Liu*, Yifan Zhang*, Yifan Luo, Andrew C Yao
AAAI-25
Quantifying the Variability Collapse of Neural Networks
Jing Xu*, Haoxiong Liu*
ICML 2023
liuhx20@mails.tsinghua.edu.cn