🏗️ Building on HF

Raphael Coelho

raphaelrrcoelho

2

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

raphaelrrcoelho/formal-mathfin-theorems

updated a collection 2 days ago

Financial Mathematics Formalization Program

new activity 7 days ago

raphaelrrcoelho/formal-mathfin-theorems:Update dataset card metadata and task category

View all activity

Organizations

None yet

raphaelrrcoelho 's models

None public yet