Raphael Coelho's picture

Building on HF

2

Raphael Coelho

raphaelrrcoelho

AI & ML interests

None yet

Recent Activity

new activity 1 day ago

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

authored a paper 2 days ago

A Formally Verified Library of Mathematical Finance in Lean 4

updated a dataset 2 days ago

raphaelrrcoelho/formal-mathfin-theorems

View all activity

Organizations

None yet

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 2 days ago • 251 • 67