Hugging Face's logo
Robert collins's picture

Robert collins

robbiemu
33 1 35
Fishtiks's profile picture Tonic's profile picture clem's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago
robbiemu/leanstral-mathlib-calibration-corpora
updated a model 3 days ago
robbiemu/leanstral-1.5-119b-a6b-mxfp4-w4a8
published a dataset 3 days ago
robbiemu/leanstral-mathlib-calibration-corpora
View all activity

Organizations

MLX Community's profile picture excelon vets's profile picture Hugging Face Context Course's profile picture