Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
new activity about 7 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
Update dataset card metadata and task category
1
#2 opened about 13 hours ago
by 
nielsr