🏗️ 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

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 22 hours ago • 309 • 266