arxiv:2606.01356
🏗️ Building on HF
Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
updated a dataset 2 days ago
raphaelrrcoelho/formal-mathfin-theorems new activity 4 days ago
raphaelrrcoelho/formal-mathfin-theorems:Update dataset card metadata and task category authored a paper 29 days ago
A Formally Verified Library of Mathematical Finance in Lean 4Organizations
None yet
