arxiv:2606.15089
🏗️ Building on HF
Raphael Coelho
raphaelrrcoelho
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 22 hours ago
formal-applied-math/formal-mathfin-theorems updated a dataset 7 days ago
formal-applied-math/formal-mathfin-theorems updated a collection 2 months ago
Financial Mathematics Formalization ProgramOrganizations
