Author
Yuan Liao
4 papers on this site (2026) · 9 co-authors · newest Oct 26, 2026
From the tags on their papers
Research focus
How many of these papers carry each topic, among the topics most particular to them. Tags are assigned automatically, so they point to a subject rather than judge the work.
Who they write with
Co-authors
9 co-authors on this site, most joint work first.
Newest first
Papers
4 papers on this site. Titles open the PDF; Connections shows the papers closest to each one. The arXiv listing is the complete record.
2026
A Lean Formalization of the Hamilton–Perelman Proof of Thurston's Geometrization Conjecture
A Lean Formalization of the Hamilton–Perelman Proof of the Three-Dimensional Poincaré Conjecture
A Lean Formalization of Hamilton's Three-Manifold Theorem
Where the site points to their work
Recommended on this site
Books, notes and papers by Yuan Liao that this site recommends, with where. Each opens its Library entry.
- Paper
Nearby
Working on similar things
Other authors whose papers here share the most particular topics with these, leaving out co-authors. This is a similarity of tags, not a judgement.
- Grisha Perelman5 works · shared topics: Geometrization, Surgery, (Non)collapsing
- Panagiotis Gianniotis5 works · shared topics: Generalized & G₂ flows, (Non)collapsing, Limit spaces & RCD
- John Morgan6 works · shared topics: Poincaré conjecture, Geometrization, Surgery
- John Lott10 works · shared topics: Geometrization, Surgery, Limit spaces & RCD
- Bruce Kleiner9 works · shared topics: Surgery, 3-manifolds, Singularities
How this page is made
About this page
Everything here is gathered automatically from the rest of the site, and it is not a biography. It covers only what the site holds: arXiv papers from 2021 on, the canon and the reading lists, so counts say nothing about anyone's whole output. Being listed reflects published work, not an endorsement by or of the person. Papers are matched to people by ORCID and OpenAlex where those exist and otherwise by name, so if two people share this name, their work may appear together here: how these pages are built.
Is this you, or someone you know? Send what should be added or corrected, or ask for the page to be removed. Mention NP-RC-312474 so it reaches the right page.