🏗️ Building on HF

Raphael Coelho

raphaelrrcoelho

2

AI & ML interests

None yet

Recent Activity

updated a dataset about 22 hours ago

raphaelrrcoelho/formal-mathfin-theorems

updated a collection 1 day ago

Financial Mathematics Formalization Program

new activity 6 days ago

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

View all activity

Organizations

None yet

raphaelrrcoelho 's datasets 1

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated about 22 hours ago • 309 • 266