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!