🏗️ 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 1 day ago
A Machine-Checked Itô Calculus for Brownian Motion authored a paper 1 day ago
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4Organizations
None yet