🏗️ Building on HF

Raphael Coelho

raphaelrrcoelho

2

·

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago

formal-applied-math/formal-mathfin-theorems

updated a collection 9 days ago

Financial Mathematics Formalization Program

updated a collection 9 days ago

Financial Mathematics Formalization Program

View all activity

Organizations

Papers 4

arxiv:2606.15089

arxiv:2606.28990

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 0

None public yet