justreadthis.ai
ArchivePeopleAboutSubscribe
justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

© 2026 justreadthis.ai

AboutArchivePrivacyTerms
← Back to People
BS
Researcher

Billy Snikkers

Researcher at Resolution

Led refactoring effort of the Lean proof library for Hironaka's Resolution of Singularities with parallel coding agents.

1
Mentions
1
Articles
1
Outlets

Companies Covered

Articles

Most recent first

Mentioned In

Referenced in coverage

Formalizing Hironaka's Resolution of Singularities
ResolutionpositiveOct 26, 2026

“Led refactoring effort of the Lean proof library for Hironaka's Resolution of Singularities with parallel coding agents.”