Why people read this work
On the reading lists
What this site's guides and courses recommend by Vlad Tenev, and why. Each opens its Library entry.
- PaperAristotle: IMO-level Automated Theorem Proving
Aristotle, a system whose proofs are checked in Lean.
Recommended in Checking proofs by machine
Who they write with
Co-authors
The people they have written with on this site.
Also with Kirsten Henningsgard, Laura Scharff, Lawrence Wu, Martin Michelsen, Mathïs Fédérico, Matyas Tamas, Riley Patterson, Sergei Gukov, Tudor Achim, Vikram Shanker, Vladmir Sicca, Yury Kudryashov.
This number in this community
About this page
Is this your page?
It is yours to shape. Send anything that should be added or corrected: your preferred spelling, an ORCID, a homepage, a line about your work. Or ask for the page to be removed. Someone reads every message. Mention NP-RC-557955 so it reaches the right page.
What this page covers
NP-RC-557955 is Vlad Tenev's permanent number in the Ricci flow community on Neckpinch. It stays with them through any change of name or post. More about these numbers.
A window on one part of a person's work: papers here go back to 2021 and cover Ricci flow and its neighbouring flows, with the older work the site recommends, so this page is no measure of anyone's whole output. Being listed is not an endorsement by or of the person. If two people share this name, their work may appear together here. How it is put together.