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