Junqi Liu (Preferred)
Junqi Liu
PhD student, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Chinese Academy of Sciences
Joined
April 2025
Names
Emails
****@amss.ac.cn (Confirmed)
Personal Links
Career & Education History
PhD student
Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Chinese Academy of Sciences (amss.ac.cn)
2023 – 2028
Undergrad student
School of Mathematics, Tianjin University (tju.edu.cn)
2019 – 2023
Advisors, Relations & Conflicts
Expertise
Formalized Mathematics
2024 – 2025
Neural theorem proving
2024 – 2025