Raphael Coelho

raphaelrrcoelho's activity

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

updated a dataset about 1 hour ago

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated about 1 hour ago • 330 • 276

authored 2 papers 6 days ago

A Machine-Checked Itô Calculus for Brownian Motion

Paper • 2606.15089 • Published 15 days ago

The Fundamental Theorem of Asset Pricing, Formalized in Lean 4

Paper • 2606.28990 • Published 15 days ago

updated a collection 10 days ago

Financial Mathematics Formalization Program

Collection

1 item • Updated 10 days ago

New activity in raphaelrrcoelho/formal-mathfin-theorems 15 days ago

Update dataset card metadata and task category

2

#2 opened about 1 month ago by

nielsr

authored a paper about 1 month ago

A Formally Verified Library of Mathematical Finance in Lean 4

Paper • 2606.01356 • Published May 31 • 1

submitted a paper to Daily Papers about 1 month ago

A Formally Verified Library of Mathematical Finance in Lean 4

Paper • 2606.01356 • Published May 31 • 1

authored a paper about 1 month ago

Three-Currency HJM for Brazilian Credit Markets

Paper • 2605.29376 • Published May 28

published a dataset about 1 month ago

raphaelrrcoelho/formal-mathfin-theorems

Viewer • Updated about 1 hour ago • 330 • 276

updated a Space about 1 month ago

Running

Three-Currency HJM for Brazilian Credit Markets

📈

Calculate implied IPCA+ credit spread

published a Space about 1 month ago

Running

Three-Currency HJM for Brazilian Credit Markets

📈

Calculate implied IPCA+ credit spread