Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • 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
Shijie Shang's picture

Shijie Shang

SuntoryOolong
2 7
Bianca-77's profile picture webbrain-one-757764's profile picture 21world's profile picture
·

AI & ML interests

AI for Math

Organizations

StepFun's profile picture

liked a dataset 11 months ago

stepfun-ai/PaCoRe-Train-8k

Viewer • Updated Jan 14 • 7.52k • 781 • 81
liked a model 11 months ago

stepfun-ai/PaCoRe-8B

Text Generation • 8B • Updated Jan 14 • 1.21k • 49
liked 3 datasets over 1 year ago

zd21/Sci

Viewer • Updated Jun 6, 2024 • 91.8k • 23 • 3

project-numina/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 44.3k • 207

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 1.27k • 14
liked 2 datasets almost 2 years ago

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 2.95k • 25

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 20 • 12
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs