Haoxiong Liu (刘豪雄)

About me

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:

  • Neural Theorem Proving and Formal Verification
  • Reinforcement Learning with Verifiable Rewards (RLVR)
  • Other Topics such as diffusion language models, LLM agents and generalization theory for DL

Feel free to reach out to me if you are interested in my research!

Publications

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

Contact me

liuhx20@mails.tsinghua.edu.cn