Hailin Guo (Preferred)
Hailin.Guo
Hailin Guo
PhD student, School of Mathematics, Southwest Jiaotong University
Joined
October 2025
Names
,
Emails
****@my.swjtu.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
School of Mathematics, Southwest Jiaotong University (swjtu.edu.cn)
2025 – 2029
Advisors, Relations & Conflicts
Expertise
Logic
, automated reasoning and automated theorem generation
Present