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