Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Raphael Coelho's picture
Building on HF
2

Raphael Coelho

raphaelrrcoelho
  • raphaelrrcoelho
  • raphaelrrrcoelho

AI & ML interests

None yet

Recent Activity

new activity about 6 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-theorems
View all activity

Organizations

None yet

raphaelrrcoelho 's Spaces 1

Running

Three-Currency HJM for Brazilian Credit Markets

📈

Calculate implied IPCA+ credit spread

3 days ago
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs