About me

Hi! I am a second-year PhD student at the Hong Kong University of Science and Technology. I am very fortunate to be advised by Prof. Sirui Han and Prof. Yike Guo. Previously, I received my Bachelor’s degree from Jilin University and my Master’s degree from the University of Hong Kong.

My research interests include Formal Reasoning, AI for Mathematics (AI4Math), and Large Language Model (LLM) Safety.