Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
7
Shijie Shang
SuntoryOolong
Follow
Bianca-77's profile picture
chriszhouwei's profile picture
21world's profile picture
3 followers
·
6 following
AI & ML interests
AI for Math
Recent Activity
liked
a dataset
6 days ago
stepfun-ai/PaCoRe-Train-8k
liked
a model
6 days ago
stepfun-ai/PaCoRe-8B
updated
a model
4 months ago
stepfun-ai/StepFun-Prover-Preview-32B
View all activity
Organizations
SuntoryOolong
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
6 days ago
stepfun-ai/PaCoRe-Train-8k
Viewer
•
Updated
5 days ago
•
7.52k
•
2.55k
•
52
liked
a model
6 days ago
stepfun-ai/PaCoRe-8B
8B
•
Updated
5 days ago
•
1.06k
•
32
updated
2 models
4 months ago
stepfun-ai/StepFun-Prover-Preview-32B
Text Generation
•
33B
•
Updated
Aug 13
•
69
•
11
stepfun-ai/StepFun-Prover-Preview-7B
Text Generation
•
8B
•
Updated
Aug 13
•
82
•
3
updated
a collection
4 months ago
StepFun-Prover Preview
Collection
2 items
•
Updated
Aug 13
•
5
published
2 models
4 months ago
stepfun-ai/StepFun-Prover-Preview-7B
Text Generation
•
8B
•
Updated
Aug 13
•
82
•
3
stepfun-ai/StepFun-Prover-Preview-32B
Text Generation
•
33B
•
Updated
Aug 13
•
69
•
11
liked
3 datasets
8 months ago
zd21/Sci
Viewer
•
Updated
Jun 6, 2024
•
91.8k
•
75
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Feb 10
•
896k
•
1.58k
•
164
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
Apr 18
•
1.73M
•
370
•
13
liked
a dataset
12 months ago
hoskinson-center/proofnet
Viewer
•
Updated
Mar 17, 2023
•
371
•
350
•
17
liked
a dataset
about 1 year ago
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer
•
Updated
Jul 12, 2024
•
107k
•
28
•
12