About Me
I’m a sophomore at the School of Mathematical Sciences, Peking University, working at the intersection of computational mathematics and artificial intelligence. My current interests include scientific machine learning, optimization for deep learning, and reinforcement learning.
I aim to design stable, efficient algorithms that draw on mathematical structure to advance deep learning models, and to apply AI techniques to tough problems in computational mathematics.
I’m also excited about AI for Mathematics (AI4M): tooling that helps mathematicians translate ideas into formal languages like Lean4, generate conjectures, and explore proofs with AI assistance.
Looking for something specific? Check the navigation bar above!