👋 Who I Am
My name is Chen Yuliang. In 2025 I was admitted to the University of Science and Technology of China and joined the Hua Luogeng Class for Mathematical Talents at the School of the Gifted Young. Hua Luogeng was one of the founders of modern Chinese mathematics; being in a class that bears his name is both an honor and a constant reminder to stay humble and work hard.
📐 What I Like
- Pure mathematics — I love those moments in algebra and analysis where one short equation captures something deep
- Formal proof verification — I believe that letting computers verify mathematics will reshape how mathematicians work in the coming decades, and I currently spend much of my time tinkering with Lean 4
- Machine learning — I try to understand why these methods work, rather than treat them as black boxes
- Competitive programming — I solved a fair number of OI problems in high school, and still enjoy the feeling of a clean piece of code that solves a concrete problem
🧭 A Few Highlights
- In high school I won a Silver Medal at the Chinese High School Mathematical Olympiad and a First Prize (Guangdong) at NOIP — the former made me decide to study mathematics; the latter convinced me that programming would be a powerful ally for a mathematician
- Since 2026, working with Tianyang Sun (graduate student, School of Mathematical Sciences), I have helped organize an internal Lean formalization reading group, where I serve as a teaching assistant. Explaining what I learn to others remains the best test of whether I really understand it (notes and recordings live in the Lean4-group repo)
- In summer 2026 I will join Cambridge University’s online summer research programme, working on machine learning and time series models for football match prediction — a topic that combines statistics and sports, two things I both enjoy
- In spring 2026 I won a First Prize (Anhui province) at the China Undergraduate Mathematical Contest, and went on to win a First Prize at the 17th China Undergraduate Mathematical Contest national final (lower division, mathematics major)
📮 Contact
If you want to chat about mathematics, Lean, or machine learning — or simply say hi — feel free to send me an email:
📧 cyl2500@mail.ustc.edu.cn
You can also find me on GitHub.