🏗️ Building on HF

Raphael Coelho

raphaelrrcoelho

2

AI & ML interests

None yet

Recent Activity

updated a dataset about 14 hours ago

raphaelrrcoelho/formal-mathfin-theorems

updated a collection 3 days ago

Financial Mathematics Formalization Program

new activity 8 days ago

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

View all activity

Organizations

None yet

Collections 1

Papers 2

arxiv:2606.01356

arxiv:2605.29376

spaces 1

Three-Currency HJM for Brazilian Credit Markets

Calculate implied IPCA+ credit spread

models 0

None public yet

datasets 1

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated about 14 hours ago • 312 • 266