Guoxiong Gao (Preferred)
Guoxiong Gao
PhD student, School of Mathematical Sciences, Peking University
Undergrad student, School of Mathematical Sciences, Peking University
- Joined May 2024
Names
Emails
****@stu.pku.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
School of Mathematical Sciences, Peking University (stu.pku.edu.cn)
2025 – Present
Undergrad student
School of Mathematical Sciences, Peking University (stu.pku.edu.cn)
2021 – 2025
Advisors, Relations & Conflicts
Expertise
large language models
2023 – Present
automated theorem proving
2023 – Present
semantic embedding
2023 – Present