cmu-l3 / reuF2F
git clone https://github.com/cmu-l3/reuF2F.git
Benchmarking coding agents on formalized undergraduate research problems
+0
stars, 24h · #68,995
+0
stars, 7 days · #68,547
+25
stars, 30 days · #27,890
25
★ total
1
forks · 0 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-10-18 (20d ago)
Last push14d ago
OwnerUser
GitHub topics
Links
- GitHub: github.com/cmu-l3/reuF2F
- Releases · Issues · Hacker News mentions
README
Loading README…