Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
72
134
72
Ge Zhang
zhangysk
Follow
ridger's profile picture
adamm-hf's profile picture
eigentom's profile picture
81 followers
·
100 following
AI & ML interests
None yet
Recent Activity
updated
a collection
16 days ago
OProver
upvoted
a
paper
16 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted
a
paper
3 months ago
InCoder-32B: Code Foundation Model for Industrial Scenarios
View all activity
Organizations
zhangysk
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
4 months ago
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer
•
Updated
Feb 3
•
300
•
77
•
3
liked
a dataset
7 months ago
m-a-p/LPFQA
Viewer
•
Updated
Nov 10, 2025
•
502
•
68
•
6
liked
2 models
7 months ago
ByteDance/Ouro-1.4B
Text Generation
•
1B
•
Updated
Jan 18
•
61k
•
96
ByteDance/Ouro-2.6B-Thinking
Text Generation
•
3B
•
Updated
Feb 26
•
24.6k
•
128
liked
3 datasets
9 months ago
m-a-p/DeepWriting-20K
Viewer
•
Updated
Sep 9, 2025
•
35.8k
•
78
•
33
m-a-p/Inverse_IFEval
Viewer
•
Updated
Sep 24, 2025
•
1.01k
•
77
•
26
m-a-p/AetherCode
Viewer
•
Updated
Aug 26, 2025
•
456
•
426
•
8
liked
a dataset
10 months ago
2077AIDataFoundation/VeriWeb
Viewer
•
Updated
Jan 21
•
302
•
3.3k
•
27
liked
2 datasets
11 months ago
m-a-p/FineLeanCorpus
Viewer
•
Updated
Jul 28, 2025
•
509k
•
734
•
11
THU-KEG/LongWriter-Zero-RLData
Viewer
•
Updated
Jul 10, 2025
•
8.61k
•
103
•
21
liked
a dataset
12 months ago
m-a-p/SciDA
Viewer
•
Updated
Jun 15, 2025
•
1k
•
35
•
5
liked
4 datasets
about 1 year ago
m-a-p/COIG-Writer
Updated
Feb 9
•
198
•
24
m-a-p/COIG-P
Viewer
•
Updated
Apr 15, 2025
•
1.01M
•
350
•
30
m-a-p/PIN-200M
Viewer
•
Updated
Apr 15
•
68.1k
•
155k
•
24
RUC-AIBOX/OlymMATH
Viewer
•
Updated
Dec 30, 2025
•
550
•
1.01k
•
14
liked
a model
about 1 year ago
deepseek-ai/DeepSeek-V3-0324
Text Generation
•
685B
•
Updated
Mar 27, 2025
•
633k
•
•
3.13k
liked
4 datasets
over 1 year ago
m-a-p/SuperGPQA
Viewer
•
Updated
Apr 30, 2025
•
26.5k
•
12.2k
•
88
m-a-p/FineFineWeb
Viewer
•
Updated
Dec 19, 2024
•
4.89B
•
674k
•
145
O1-OPEN/OpenO1-SFT-Ultra
Viewer
•
Updated
Mar 6, 2025
•
18.7M
•
94
•
56
O1-OPEN/OpenO1-SFT
Viewer
•
Updated
Apr 22, 2025
•
77.7k
•
1.46k
•
387
Load more