Professor

Xiao-Shan Gao Mathematics Mechanization, Mathematical Theory of Artificial Intelligence, Automated Reasoning

Lihong Zhi Symbolic Computation, AI4Math, Formal Mathematics

Ruyong Feng Symbolic Computation, Differential Algebra

Postdoctoral Researcher

Dakai Guo Researcher collaborating on AI-assisted mathematical discovery, proof development, and formal verification.

PhD Student

Jiaqi Wang Researcher collaborating on AI-assisted mathematical discovery, proof development, and formal verification.

Junqi Liu Researcher collaborating on AI-assisted mathematical discovery, proof development, and formal verification.

Ruichen Qiu AI4Math, LLM Agents

Yichuan Cao Researcher collaborating on AI-assisted mathematical discovery, proof development, and formal verification.