I believe mathematics can open broader frontiers for machine learning and artificial intelligence, extending their foundations beyond the calculus-centered framework that has shaped modern AI. My research interests are algebraic topology, efficient AI reasoning, bandit algorithms, reinforcement learning, machine-learning theory, algorithm design, and formalized mathematics.
During 2026-2027, I am a Research Assistant at The Hong Kong University of Science and Technology (Guangzhou), working with Prof. Tianyuan Jin on online learning, bandit algorithms, reinforcement learning, and resource-efficient learning. This appointment builds on my mathematical training in probability, statistics, optimization, analysis, and differential equations.
In July 2026, I am attending the 2026 AI4Math Summer School: Lean Formalized Mathematics at Zhejiang University, with intensive training in formal proof and computer-assisted mathematical reasoning.
My immediate academic goal is to pursue a PhD in Data Science and Analytics at HKUST(GZ) and develop mathematically grounded models and algorithms for learning and decision-making with limited data, feedback, computation, or interaction.
Research Preparation
- Mathematical modeling: mathematical modeling (96), ordinary differential equations (89), dynamical systems, stochastic models, and numerical computation.
- Analysis and algebra: complex analysis (90), real analysis (95), functional analysis (99), abstract algebra (98), and current research in algebraic topology.
- Online learning and bandits: regret analysis, best-arm identification, exploration-exploitation tradeoffs, reinforcement learning, and information-theoretic lower bounds.
- Optimization and AI: bilevel optimization, implicit differentiation, and theoretical methods intended to transfer across multiple AI model classes.
Education
Yangtze University College of Arts and Sciences, Jingzhou, China
B.Sc. in Mathematics and Applied Mathematics · Sep. 2023 - Jun. 2027 (expected)
Mathematical Modeling: 96 · ODE: 89 · Complex Analysis: 90 · Real Analysis: 95 · Functional Analysis: 99 · Abstract Algebra: 98
Zhejiang University, Hangzhou, China
2026 AI4Math Summer School: Lean Formalized Mathematics · Jul. 2026
Download presentation slides (PDF)
Research Appointment
The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China
Research Assistant · 2026-2027 · Prof. Tianyuan Jin
Mathematical Collaboration
Through ongoing research discussions and guidance from Prof. Stephen D. Theriault, Professor of Mathematics at the University of Southampton, I am developing my background in algebraic topology. My current study includes Whitehead products, moment-angle complexes, graph Lie algebras, quasi-Lie structures, and low-prime homotopy theory.