JoshuaPinckard/LEAN-Bench
Updated • 28
Joshua Pinckard
JoshuaPinckard
AI & ML interests
None yet
Recent Activity
updated a Space 3 days ago
JoshuaPinckard/LEAN-Bench-Leaderboard published a Space 3 days ago
JoshuaPinckard/LEAN-Bench-Leaderboard updated a dataset 3 days ago
JoshuaPinckard/LEAN-BenchOrganizations
None yet