Ricardo

ricdomolm

AI & ML interests

LLMs

Recent Activity

liked a dataset 12 days ago
AI-MO/minif2f_test
updated a dataset 23 days ago
ricdomolm/FormalMATH
published a dataset 23 days ago
ricdomolm/FormalMATH
View all activity

Organizations

None yet