Loading activity…
@wellecks
Assistant Professor at CMU. Marathoner, @thesisreview.
AI
The creators say experts formalized the problems in Lean and built Leanimum-agent to compare models under one harness.
AI
A post describes a benchmark testing nine frontier agents on 15 open scientific follow-up problems developed with domain scientists.
AI
The post celebrating the award thanks two people for their guidance throughout the project.
AI
A September 30 post says “Accepted at NeurIPS!” and congratulates another person.
AI
A post announces an acceptance at NeurIPS with a Spotlight designation and congratulates another user.
