Jiangze Shi (Preferred)
Jiangze Shi
PhD student, School of computer science, Beijing Institute of Technology
- Joined September 2025
Names
Emails
****@bit.edu.cn (Confirmed)
Personal Links
Career & Education History
PhD student
School of computer science, Beijing Institute of Technology (bit.edu.cn)
2023 – Present
Advisors, Relations & Conflicts
Expertise
Artificial Intelligence
2023 – Present
Auto Formalization
2023 – Present