I am currently a Machine Learning Ph.D student at Georgia Tech, advised by
Vladimir Koltchinskii and
Florian Schäffer.
My research mainly focus on
- High dimensional and infinite dimensional statistics
- Randomized numerical linear algebra
- Mathematical perspective of modern machine learning models
- Sampling and Optimization
- Ai4Math, Mathematical proof generating and Lean code auto-revision
Before joining Gerogia Tech, I obtained my MS degree in Statistics at the University of Chicago, under the supervision of
Lek-Heng Lim and
Alexander Strang. I received my bachelor's degrees from the School of EECS and the School of Mathematical Science at Peking University.