Robert collins
robbiemu
AI & ML interests
None yet
Recent Activity
updated a dataset about 12 hours ago
robbiemu/leanstral-mathlib-calibration-corpora updated a model about 13 hours ago
robbiemu/leanstral-1.5-119b-a6b-mxfp4-w4a8 published a dataset about 13 hours ago
robbiemu/leanstral-mathlib-calibration-corporaOrganizations
