Xiao-Shan Gao
Mathematics Mechanization, Mathematical Theory of AI, Automated Reasoning
Researchers
Researchers collaborating on AI-assisted mathematical discovery, proof development, and formal verification.
Professor
Xiao-Shan Gao
Mathematics Mechanization, Mathematical Theory of AI, Automated Reasoning
Lihong Zhi
Symbolic Computation, AI4Math, Formal Mathematics
Ruyong Feng
Symbolic Computation, Differential Algebra
Postdoctoral Researcher
Dakai Guo
AI4Math, LLM Agents, Formal Mathematics
PhD Student
Yichuan Cao
AI4Math, LLM Agents
Junqi Liu
AI4Math, LLM Agents, Formal Mathematics
Yunfei Li
AI4Math, LLM Agents, Formal Mathematics
Ruichen Qiu
AI4Math, LLM Agents
Hao Shen
AI4Math, LLM Agents, Formal Mathematics
Jiaqi Wang
AI4Math, LLM Agents, Formal Mathematics