Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
6
3
20
Ricardo
ricdomolm
Follow
dark-pen's profile picture
zhouliang's profile picture
karolinaranjo's profile picture
11 followers
ยท
5 following
rdolmedo_
RicardoDominguez
AI & ML interests
LLMs
Recent Activity
updated
a collection
3 days ago
1930 Coder
updated
a dataset
3 days ago
ricdomolm/eval-trajs-1930-coder
published
a dataset
3 days ago
ricdomolm/eval-trajs-1930-coder
View all activity
Organizations
ricdomolm
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
New activity in
SWE-bench/SWE-smith
8 months ago
New problem statements
#7 opened 8 months ago by
ricdomolm
New activity in
AI-MO/Kimina-Prover-Distill-1.7B
9 months ago
Plans to release the distillation dataset?
#1 opened 9 months ago by
ricdomolm
New activity in
SphereLab/FormalMATH-All
9 months ago
Overlap with AI-MO/NuminaMath-LEAN
#1 opened 9 months ago by
ricdomolm
New activity in
ricdomolm/caselawqa_leaderboard
over 1 year ago
The leaderboard is not working...
2
#1 opened over 1 year ago by
zhiminy
Load more