Ricardo

ricdomolm

AI & ML interests

LLMs

Recent Activity

updated a dataset about 18 hours ago
ricdomolm/FormalMATH-Kimina-1.5B-Stratified
published a dataset about 18 hours ago
ricdomolm/FormalMATH-Kimina-1.5B-Stratified
liked a dataset 26 days ago
AI-MO/minif2f_test
View all activity

Organizations

None yet