Ricardo

ricdomolm

AI & ML interests

LLMs

Recent Activity

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

Organizations

None yet