Raphael Coelho

raphaelrrcoelho's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in raphaelrrcoelho/formal-mathfin-theorems about 6 hours ago

Update dataset card metadata and task category

1

#2 opened about 12 hours ago by

nielsr

authored a paper 1 day ago

A Formally Verified Library of Mathematical Finance in Lean 4

Paper • 2606.01356 • Published 4 days ago • 1

updated a dataset 1 day ago

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated 1 day ago • 251 • 62

submitted a paper to Daily Papers 1 day ago

A Formally Verified Library of Mathematical Finance in Lean 4

Paper • 2606.01356 • Published 4 days ago • 1

authored a paper 2 days ago

Three-Currency HJM for Brazilian Credit Markets

Paper • 2605.29376 • Published 7 days ago

published a dataset 3 days ago

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated 1 day ago • 251 • 62

updated a Space 3 days ago

Running

Three-Currency HJM for Brazilian Credit Markets

📈

Calculate implied IPCA+ credit spread

published a Space 3 days ago

Running

Three-Currency HJM for Brazilian Credit Markets

📈

Calculate implied IPCA+ credit spread