Xingzhi Qi
Contact:
dennyqi123@sjtu.edu.cn
About Me
Hello! I am a senior undergraduate student at John Hopcroft Honors Class (Zhiyuan College), Shanghai Jiao Tong University, majoring in Computer Science.
I am interested in AI for Math, Autoformalization and Formal Verification.
I am very fortunate to work on research projects advised by Prof. Wenda Li, Prof. Qinxiang Cao, Prof. Junchi Yan.
💡 Recent Anouncement
