Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
4
1
1
Ben Lipkin
benlipkin
Follow
GigaBoy's profile picture
pengli09's profile picture
Zeki61's profile picture
8 followers
·
0 following
https://benlipkin.github.io/
ben_lipkin
benlipkin
AI & ML interests
Cognitive Science, NLP, Program Synthesis
Recent Activity
liked
a dataset
29 days ago
ewok-core/ewok-core-1.0
View all activity
Articles
How NuminaMath Won the 1st AIMO Progress Prize
Jul 11
•
107
Organizations
benlipkin
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
New activity in
AI-MO/NuminaMath-72B-TIR
5 months ago
add results table
#1 opened 5 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-72B-CoT
5 months ago
add results table
#1 opened 5 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-7B-TIR
5 months ago
add results table
1
#7 opened 5 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-7B-CoT
5 months ago
add results table
#1 opened 5 months ago by
benlipkin