I am a PhD student at IIIS, Tsinghua University, advised by Prof. Andrew C Yao.
My research interests include:
Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C Yao
Pre-print
Augmenting Math Word Problems via Iterative Question Composing
Haoxiong Liu*, Yifan Zhang*, Yifan Luo, Andrew C Yao
AAAI 2025
Quantifying the Variability Collapse of Neural Networks
Jing Xu*, Haoxiong Liu*
ICML 2023
liuhx20@mails.tsinghua.edu.cn