Yutong Wu

Pronouns: he/him

PhD student, IPRC, Institute of Computing Technology, Chinese Academy of Sciences

  • Joined May 2024

Names

Yutong Wu (Preferred)

Emails

****@ict.ac.cn (Confirmed)

Career & Education History

PhD student
IPRC, Institute of Computing Technology, Chinese Academy of Sciences (ict.ac.cn)
2022Present
 
Undergrad student
Computer Science, University of Science and Technology of China (mail.ustc.edu.cn)
20182022
 

Advisors, Relations & Conflicts

Coauthor
2022Present
 
Coauthor
2022Present
 
Coauthor
2022Present
 
Coauthor
2022Present
 
Coauthor
2022Present
 
Coauthor
2022Present
 
PhD Advisor
2022Present
 

Expertise

Automated Theorem Proving
2024Present
 
Large Language Models
2023Present
 
Program Synthesis and Code Generation
2023Present