Hi, welcome to my homepage.
I am Chen Yuliang, an undergraduate at the University of Science and Technology of China (USTC), enrolled in 2025 in the Hua Luogeng Class for Mathematical Talents at the School of the Gifted Young. I’m passionate about pure mathematics, formal proof verification, and machine learning, and I’m currently learning how to write down mathematical theorems for a computer to check — line by line — using Lean.
I hope to one day do something interesting at the intersection of mathematics and computation.
🎓 Education
- 2025 – present University of Science and Technology of China — Hua Luogeng Class for Mathematical Talents, School of the Gifted Young
🔬 Projects
Lean Formal Proof Reading Group Teaching Assistant · Apr 2026 – present
- Helping organize an internal reading group on Lean formalization, led by Tianyang Sun (graduate student, School of Mathematical Sciences)
- Studying how to formalize classical theorems in dependent type theory, and assisting fellow students with common Lean proof obstacles
- Lecture notes, Beamer sources and recordings: github.com/cccyyylll888/Lean4-group
Machine Learning and Time Series Models for Football Match Prediction · Planned Jul – Aug 2026
- Cambridge University online summer research programme (admitted)
- Exploring how machine learning and time series models can be used to predict the outcome of football matches
🏆 Awards
- First Prize (national final), 17th China Undergraduate Mathematical Contest (Lower Division, Mathematics Major)
- First Prize (Anhui province), China Undergraduate Mathematical Contest (Lower Division, Mathematics Major)
- Silver Medal, Chinese High School Mathematical Olympiad
- First Prize (Guangdong province), National Olympiad in Informatics in Provinces (NOIP)
✉️ Contact
- Email cyl2500@mail.ustc.edu.cn
- GitHub @cccyyylll888
For more about me, see the About Me page.