Ziyang Qin

About Me

I am a researcher at the Cornell Math+AI Lab. I am applying to Ph.D. programs in mathematics for Fall 2027. I earned a Bachelor of Arts in Mathematics from Cornell University in May 2026, with a focus on pure mathematics.

Current Focus

I am currently studying curvature pinching estimates for the Dirichlet energy of one-forms along Ricci flow on closed surfaces.

Publications

• A Lean Formalization of Hamilton's Three-Manifold Theorem
  Bennett Chow, Yuan Liao, and Ziyang Qin. arXiv:2608.21502, 2026.

Talks

• The Geometry of Machine Learning 2026
  Center of Mathematical Sciences and Applications, Harvard University. Joint talk with Robert Koirala and Bennett Chow, “AI for Ricci flow: Discovery and Formalization,” September 8, 2026.
• New Technologies in Mathematics Seminar
  Center of Mathematical Sciences and Applications, Harvard University. Invited talk on the formalization of Ricci flow, forthcoming Fall 2026.

CV

→ Curriculum Vitae

Notes

• Notes on Morse Theory
• Notes on Lie Algebra & Ricci Flow
• 2025 Spring Supervised Reading Report
• 2024 Fall Supervised Reading Report
• Revised 2024 Fall Report: Fáry–Milnor Theorem
• 2024 Fall DRP Presentation Notes