Ziyang Qin

About Me

I am a researcher at the Cornell Math+AI Lab. I graduated from the Division of Pure Mathematics at Cornell University in May 2026 with a Bachelor of Arts in Mathematics from the College of Arts and Sciences.

Current Focus

I work at the intersection of formal mathematics, differential geometry, and geometric analysis.

Publications

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

Invited Talks

• 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