Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
new activity about 5 hours ago
raphaelrrcoelho/formal-mathfin-theorems:Update dataset card metadata and task category authored a paper 1 day ago
A Formally Verified Library of Mathematical Finance in Lean 4 updated a dataset 1 day ago
raphaelrrcoelho/formal-mathfin-theoremsOrganizations
None yet