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
T T's picture

T T

NP235

AI & ML interests

None yet

Organizations

None yet

models 4

NP235/math_albert

11.9M • Updated Jul 10 • 7

NP235/SU-01

Text Generation • 31B • Updated Jul 10 • 110

NP235/Goedel-Prover-V2-32B

Text Generation • 33B • Updated Jul 10 • 45

NP235/Goedel-Formalizer-V2-32B

33B • Updated Jul 10 • 3

datasets 10

NP235/LiveAoPSBench-2024

Viewer • Updated Jul 10 • 5.33k • 33

NP235/CoinMath

Viewer • Updated Jul 10 • 493k • 103

NP235/arxivmath-training

Viewer • Updated Jul 10 • 2.61k • 46

NP235/MegaMath

Viewer • Updated Jul 10 • 217M • 6.1k

NP235/AutoMathText

Viewer • Updated Jul 10 • 1.71M • 1.36k

NP235/finemath

Viewer • Updated Jul 10 • 48.3M • 1.25k

NP235/MathCode-Pile

Viewer • Updated Jul 10 • 719k • 433

NP235/proof-pile-2

Updated Jul 10 • 176

NP235/open-web-math-pro

Viewer • Updated Jul 10 • 2.58M • 257

NP235/MathNet

Viewer • Updated Jul 10 • 55.6k • 881 • 2
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs