Haiming Wang

SUN YAT-SEN UNIVERSITY

  • Joined April 2022

Names

Haiming Wang (Preferred)

Emails

****@mail2.sysu.edu.cn (Confirmed)

Personal Links

Education & Career History

PhD student
SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2021 – 2025
 
MS student
SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2019 – 2021
 
Undergrad student
South China Normal University (scnu.edu.cn)
2015 – 2019
 

Advisors, Relations & Conflicts

Coworker
2022 – Present
 
PhD Advisor
2021 – Present
 

Expertise

Machine Learning For Automatic Theorem Proving
2022 – Present
 
Natual Language Processing
2021 – 2022