I'm a fourth-year undergraduate at School of Mathematics, Renmin University of China. My research interests include automated theorem proving, AI assisted interactive theorem proving and formalization of mathematics. Also, I'm enthusiastic to learn about machine learning systems and model training optimization or acceleration.
Now I am doing research related with the theorem prover Lean and machine learning under the supervision of Prof. Hongteng Xu(Gaolin School of Artificial Intelligence, RUC) and Prof. Shanwen Wang(School of Mathematics, RUC).
📖 Educations
- 2021.09 - 2025.06 (now), undergraduate at School of Mathematics, Renmin University of China, Beijing, China.
💻 Projects
- 2024.4.15 - 2024.4.26, Workshop on Formal Proofs and Lean, NUS.
💬 Talks
- 2024.4.22, Learning Mathematics with Lean on Workshop on Formal Proofs and Lean.
😀 Experience
- 2024.7.2 - 2024.8.2, TA of AI for Mathematics summer camp at PKU.
- 2024.8.6 - 2024.8.29, teaching Lean at WestLake University. Final Project