Shaonan Wu (武少楠)
Please contact me with this email: shaonanwu[AT]stu.xjtu.edu.cn
Shaonan Wu is currently a joint PhD student at Xi’an Jiaotong University and Microsoft Research Asia, under the co-supervision of Dr.Ping Wei, Dr.Mao Yang and Dr.Nan Duan. He recevie his B.S. degree in Artificial Intelligence from XJTU in 2024. His research interests include machine reasoning, neural-symbolic AI and AI4Math. He is interested in practicing slow science.
Research Experience
- [2023/11 ~ 2024/9] Research Intern, Microsoft Research Asia (Mentor: Shuai Lu & Nan Duan)
- [2024/9 ~ Present] Research Intern & Joint PhD student, Microsoft Research Asia (Mentor: Shuai Lu & Mao Yang)
Publication
- Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
Shaonan Wu*, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei.
ICLR 2025.
TL;DR: We propose a CPU-only method to synthesize new theorems based on existing theorems, which shows promise in enhancing the theorem-proving ability of neural provers.
Selected Honors
- [2024/6] Outstanding graduates of XJTU.