Haiming Wang

Researcher, RL Team, Moonshot AI

PhD student, School of aritifical intelligence, SUN YAT-SEN UNIVERSITY

  • Joined April 2022

Names

Haiming Wang (Preferred)

Emails

****@mail2.sysu.edu.cn (Confirmed)
,
****@moonshot.cn (Confirmed)
,
****@icloud.com (Confirmed)

Personal Links

Career & Education History

Researcher
RL Team, Moonshot AI (moonshot.cn)
2025 – Present
 
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

Coworker
2022 – Present
 
PhD Advisor
2021 – Present
 

Expertise

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