pinned
Sleeping
Agents
LEAN Bench Leaderboard
🥇
Leaderboard for LEAN-Bench
Joshua Pinckard
JoshuaPinckard
AI & ML interests
None yet
Recent Activity
updated a Space about 2 months ago
JoshuaPinckard/LEAN-Bench-Leaderboard published a Space about 2 months ago
JoshuaPinckard/LEAN-Bench-Leaderboard updated a dataset about 2 months ago
JoshuaPinckard/LEAN-BenchOrganizations
None yet