People who shaped my research path
Advisors, collaborators, mathematical mentors, and earlier guides. This page records the kind of guidance without implying a formal role where there is none.
Formal and Current Research Guidance
Supervision, collaboration, and research guidance in AI-oriented work.
Zheni Zeng
Assistant Professor, School of Intelligent Science and Technology, Nanjing University
Provides formal academic guidance for my transition into AI for Science, scientific reasoning, and RAG-related research directions.
Ziyu Zhou
Research collaborator; MSRA intern; M.S., Czech Technical University
Collaborates with me on AI for Mathematics work and provides technical guidance at the interface of theorem-oriented reasoning, machine learning, and mathematical background knowledge.
Mathematical and Intellectual Guidance
Guidance in mathematical study, foundations, and research reading.
Keyao Peng
Ph.D. in Algebraic Geometry, Université Grenoble Alpes; postdoctoral researcher at University of Burgundy
Introduced me to a broad range of modern mathematical ideas, including category theory, topos theory, HoTT, linear logic, and related foundational viewpoints.
Tom Leinster
Professor, University of Edinburgh
Offered intermittent guidance through correspondence, including reading suggestions and clarifications around foundational mathematical concepts. I have also translated several of his writings with permission.
Earlier Academic and Technical Support
Earlier support in mathematics and programming.
Zhenyu Lu
M.S. in Algebraic Geometry, East China Normal University; mathematics coach
Answered many mathematical questions and helped me consolidate early undergraduate-level mathematics study.
Yiran Fang
M.S. in Computer Science, University of Science and Technology of China
Helped initiate my technical learning path and influenced my early approach to programming and information technology.