Zhengyan Shi (Preferred)
Zhengyan Shi
PhD student, Department of Computer Science and Engineering, The Chinese University of Hong Kong
Joined
November 2023
Names
Emails
****@sjtu.edu.cn (Confirmed)
****@link.cuhk.edu.hk (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Computer Science and Engineering, The Chinese University of Hong Kong (cse.cuhk.edu.hk)
2025 – Present
Undergrad student
Computer Science and Technology, Shanghai Jiao Tong University (sjtu.edu.cn)
2021 – 2025
Advisors, Relations & Conflicts
Expertise
Agentic RL
2026 – Present
LLM for auto theorem proving
2025 – Present
Representation learning
2023 – Present