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
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
fabianhenning 's Collections
Formal Reasoning
Mathematical Reasoning

Mathematical Reasoning

updated 15 days ago
Upvote
-

  • nvidia/Nemotron-SFT-Math-v4

    Preview • Updated Jun 4 • 2.36k • 16

  • nvidia/Nemotron-Math-Proofs-v1

    Viewer • Updated Jan 5 • 925k • 913 • 122

  • nvidia/Nemotron-Math-v2

    Viewer • Updated Feb 11 • 7.09M • 4.57k • 183

  • google/gemma-4-12B-it

    Any-to-Any • 12B • Updated Jun 4 • 2.85M • 1.27k

  • ShadenA/MathNet

    Viewer • Updated 22 days ago • 55.6k • 7.86k • 89

  • Mathematical Capabilities of ChatGPT

    Paper • 2301.13867 • Published Jan 31, 2023

  • Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

    Paper • 2601.14027 • Published Jan 20 • 15

  • Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling

    Paper • 2605.13301 • Published May 13 • 165

  • nvidia/OpenMathReasoning

    Viewer • Updated May 27, 2025 • 5.68M • 18.6k • 467
Upvote
-
  • Collection guide
  • Browse collections
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs