Joshua Pinckard

JoshuaPinckard's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a Space 3 days ago

Sleeping

Agents

LEAN Bench Leaderboard

🥇

Leaderboard for LEAN-Bench

published a Space 3 days ago

Sleeping

Agents

LEAN Bench Leaderboard

🥇

Leaderboard for LEAN-Bench

updated a dataset 3 days ago

JoshuaPinckard/LEAN-Bench

Updated 3 days ago • 28

published a dataset 3 days ago

JoshuaPinckard/LEAN-Bench

Updated 3 days ago • 28