Haiming Wang (Preferred)
Haiming Wang
PhD student, School of aritifical intelligence, SUN YAT-SEN UNIVERSITY
- Joined April 2022
Names
Emails
****@mail2.sysu.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
School of aritifical intelligence, SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2021 – 2025
MS student
School of computer science, SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2019 – 2021
Undergrad student
School of software, South China Normal University (scnu.edu.cn)
2015 – 2019
Advisors, Relations & Conflicts
Expertise
Machine Learning For Automatic Theorem Proving
2022 – Present
Natual Language Processing
2021 – 2022