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