Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Shijie Shang's picture
7

Shijie Shang

SuntoryOolong
Bianca-77's profile picture chriszhouwei's profile picture 21world's profile picture
·

AI & ML interests

AI for Math

Recent Activity

liked a dataset about 1 month ago
stepfun-ai/PaCoRe-Train-8k
liked a model about 1 month ago
stepfun-ai/PaCoRe-8B
updated a model 5 months ago
stepfun-ai/StepFun-Prover-Preview-32B
View all activity

Organizations

StepFun's profile picture

liked a dataset about 1 month ago

stepfun-ai/PaCoRe-Train-8k

Viewer • Updated about 1 month ago • 7.52k • 5.01k • 75
liked a model about 1 month ago

stepfun-ai/PaCoRe-8B

Text Generation • 8B • Updated 17 days ago • 849 • 38
liked 3 datasets 9 months ago

zd21/Sci

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

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10, 2025 • 896k • 2.08k • 167

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 300 • 13
liked 2 datasets about 1 year ago

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 147 • 17

RickyDeSkywalker/OpenBootstrappedTheorem

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