Haozhe Sun (Preferred)
Haozhe Sun
Pronouns: he/him
PhD student, Computer Science And Engineering, Northeastern University
- Joined July 2025
Names
Emails
****@stumail.neu.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science And Engineering, Northeastern University (neu.edu.cn)
2024 – Present
Advisors, Relations & Conflicts
Expertise
theorem proving, LLM
2024 – Present