Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
4
1
Ben Lipkin
benlipkin
Follow
21world's profile picture
pengli09's profile picture
GigaBoy's profile picture
7 followers
·
0 following
https://benlipkin.github.io/
ben_lipkin
benlipkin
AI & ML interests
Cognitive Science, NLP, Program Synthesis
Articles
How NuminaMath Won the 1st AIMO Progress Prize
Jul 11
•
99
Organizations
benlipkin
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
New activity in
AI-MO/NuminaMath-72B-TIR
4 months ago
add results table
#1 opened 4 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-72B-CoT
4 months ago
add results table
#1 opened 4 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-7B-TIR
4 months ago
add results table
1
#7 opened 4 months ago by
benlipkin
New activity in
AI-MO/NuminaMath-7B-CoT
4 months ago
add results table
#1 opened 4 months ago by
benlipkin