Adam Newgas
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 tokensAccount linked from boristhebrave.com
Photos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →
Affiliations
Current
- Named as author on the company's own research post · Resolution
Current roles come from these dated records, not from the bio below. Each links the page it was read from.
On the timeline
Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →