@jesse_hoogland Profile · timaeus.co ↗

Jesse Hoogland

Researcher

Now Named as author on the company's own research post, Resolution

Latest on AI4S.fyiTimeline · Oct 6Resolution's agents formalize Hironaka's resolution of singularities in Lean: about 600,000 lines in a week, for an estimated $135,000 in tokens

Account linked from jessehoogland.com · Avatar from their X account, taken 2026-10-27

Affiliations

Current

Named as author on the company's own research post · Resolutionas of 2026-10-06resolution.org ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

On the timeline

2026-10-06Resolution's agents formalize Hironaka's resolution of singularities in Lean: about 600,000 lines in a week, for an estimated $135,000 in tokens

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →