Nailin Guan (Preferred)
Nailin Guan
Undergrad student, School of Mathematical Science, Peking University
Joined
September 2025
Names
Emails
****@stu.pku.edu.cn (Confirmed)
****@qq.com (Confirmed)
Personal Links
Career & Education History
Undergrad student
School of Mathematical Science, Peking University (stu.pku.edu.cn)
2023 – 2027
Advisors, Relations & Conflicts
Expertise
Formalization of Pure Mathematics
2023 – 2025