Robert collins

robbiemu

·

robbiemu

AI & ML interests

None yet

Recent Activity

updated a model 16 minutes ago

robbiemu/leanstral-1.5-119b-a6b-mxfp4-w4a8

updated a dataset 41 minutes ago

robbiemu/leanstral-mathlib-calibration-corpora

published a dataset 41 minutes ago

robbiemu/leanstral-mathlib-calibration-corpora

View all activity

Organizations

robbiemu 's datasets 4

robbiemu/leanstral-mathlib-calibration-corpora

Updated 30 minutes ago

robbiemu/smol-course-notes

Updated Oct 30, 2025 • 32

robbiemu/details_robbiemu__smollm3-dpo-aligned_private

Viewer • Updated Oct 19, 2025 • 26.7k • 68

robbiemu/MetaMathQA-formatted

Viewer • Updated Oct 18, 2025 • 395k • 7