Yutong Wu (Preferred)
Yutong Wu
PhD student, IPRC, Institute of Computing Technology, Chinese Academy of Sciences
Joined
May 2024
Names
Emails
****@ict.ac.cn (Confirmed)
Personal Links
Career & Education History
PhD student
IPRC, Institute of Computing Technology, Chinese Academy of Sciences (ict.ac.cn)
2022 – Present
Undergrad student
Computer Science, University of Science and Technology of China (mail.ustc.edu.cn)
2018 – 2022
Advisors, Relations & Conflicts
Expertise
Automated Theorem Proving
2024 – Present
Large Language Models
2023 – Present
Program Synthesis and Code Generation
2023 – Present