I'm currently a first-year PhD student in the Computer Engineering and Science School at Shanghai University, supervised by Tuo Leng. Previously, I received my M.S. in computer science at Shanghai University. I am a member of SHU Geometric Cognitive Reasoning Group and the leader of FormalGeo Development Team.
My research goal is to build an AI system to solve formalized IMO-level plane geometry problems. Specifically, the AI system can receive a formal representation of the problem, automatically solve the problem, and emit a formal (i.e. machine-checkable) proof. My primary research mainly includes the following aspects:
In addition, I am interested in: