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

Junqi Liu (Preferred)

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

PhD Advisor
2023 – 2028
 

Expertise

Formalized Mathematics
2024 – 2025
 
Neural theorem proving
2024 – 2025