Running
Three-Currency HJM for Brazilian Credit Markets
📈
Calculate implied IPCA+ credit spread
🏗️ Building on HF
Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
updated a dataset about 22 hours ago
raphaelrrcoelho/formal-mathfin-theorems authored a paper 6 days ago
A Machine-Checked Itô Calculus for Brownian Motion authored a paper 6 days ago
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4Organizations
None yet