← Back to PeopleJHResearcherJesse HooglandResearcher at ResolutionLinkedInLed writeup of the Hironaka's Resolution of Singularities autoformalization project.1Mentions1Articles1OutletsCompanies CoveredResolution1ArticlesMost recent firstMentioned InReferenced in coverageFormalizing Hironaka's Resolution of SingularitiesResolutionpositiveOct 26, 2026“Led writeup of the Hironaka's Resolution of Singularities autoformalization project.”