Haoxiong Liu (刘豪雄)

About me

I am a PhD student at IIIS, Tsinghua University, advised by Prof. Andrew C Yao.

My research interests include:

  • Neural Theorem Proving.
  • LLM Reasoning.
  • Diffusion Models and Flow-Matching.
  • Generalization Theory for Deep Learning.

Publications

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

Contact me

liuhx20@mails.tsinghua.edu.cn