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
Shijie Shang
SuntoryOolong
2
7
Follow
21world's profile picture
webbrain-one-320739's profile picture
Bianca-77's profile picture
5 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
11 months ago
stepfun-ai/PaCoRe-Train-8k
Viewer
•
Updated
Jan 14
•
7.52k
•
734
•
81
liked
a model
11 months ago
stepfun-ai/PaCoRe-8B
Text Generation
•
8B
•
Updated
Jan 14
•
721
•
49
liked
3 datasets
over 1 year ago
zd21/Sci
Viewer
•
Updated
Jun 6, 2024
•
91.8k
•
13
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
66.5k
•
205
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
Apr 18, 2025
•
1.73M
•
1.17k
•
14
liked
2 datasets
almost 2 years ago
hoskinson-center/proofnet
Viewer
•
Updated
Mar 17, 2023
•
371
•
2k
•
25
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer
•
Updated
Jul 12, 2024
•
107k
•
22
•
12