Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
2
7
Shijie Shang
SuntoryOolong
Follow
Bianca-77's profile picture
21world's profile picture
chriszhouwei's profile picture
3 followers
·
6 following
AI & ML interests
AI for Math
Organizations
SuntoryOolong
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
5 months ago
stepfun-ai/PaCoRe-Train-8k
Viewer
•
Updated
Jan 14
•
7.52k
•
1.25k
•
80
liked
a model
5 months ago
stepfun-ai/PaCoRe-8B
Text Generation
•
Updated
Jan 14
•
227
•
46
liked
3 datasets
about 1 year ago
zd21/Sci
Viewer
•
Updated
Jun 6, 2024
•
91.8k
•
49
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
6.22k
•
186
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
Apr 18, 2025
•
1.73M
•
364
•
13
liked
2 datasets
over 1 year ago
hoskinson-center/proofnet
Viewer
•
Updated
Mar 17, 2023
•
371
•
452
•
21
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer
•
Updated
Jul 12, 2024
•
107k
•
15
•
12