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