arxiv:2606.15089
🏗️ Building on HF
Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
updated a dataset about 5 hours ago
raphaelrrcoelho/formal-mathfin-theorems authored a paper about 9 hours ago
A Machine-Checked Itô Calculus for Brownian Motion authored a paper about 9 hours ago
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4Organizations
None yet
