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
10
16
41
Zhouliang Yu
zhouliang
Follow
EncikAM's profile picture
Longhui98's profile picture
Liam-Liu's profile picture
20 followers
·
27 following
https://zhouliang-yu.github.io
zhouliang-yu
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
liked
a dataset
about 1 month ago
ianncity/KIMI-K2.5-1000000x
liked
a dataset
about 1 month ago
ReasoningTransferability/math_sft_40K
liked
a dataset
about 1 month ago
Artemis0430/NuminaMath-20k-Stratified
View all activity
Organizations
zhouliang
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
3 datasets
about 1 month ago
ianncity/KIMI-K2.5-1000000x
Viewer
•
Updated
Apr 7
•
733k
•
3.53k
•
262
ReasoningTransferability/math_sft_40K
Viewer
•
Updated
Jul 8, 2025
•
39.9k
•
221
•
11
Artemis0430/NuminaMath-20k-Stratified
Viewer
•
Updated
Apr 2
•
20k
•
39
•
3
liked
a model
about 1 month ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
Text Generation
•
308k
•
Updated
Jan 21
•
4.18k
•
2
liked
a dataset
about 2 months ago
nohurry/Opus-4.6-Reasoning-3000x-filtered
Viewer
•
Updated
Mar 31
•
2.33k
•
5.35k
•
587
liked
a model
about 2 months ago
Jackrong/Qwopus3.5-4B-v3
Image-Text-to-Text
•
5B
•
Updated
Apr 6
•
1.83k
•
13
liked
7 datasets
3 months ago
BytedTsinghua-SIA/CUDA-Agent-Ops-6K
Viewer
•
Updated
Feb 27
•
6k
•
555
•
65
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
1.43k
•
30
lm-provers/ProofBench
Viewer
•
Updated
Jan 9
•
290
•
127
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
6.46k
•
186
AI-MO/aops
Viewer
•
Updated
Mar 31
•
80.7k
•
1.56k
•
6
lm-provers/FineProofs-SFT
Viewer
•
Updated
Feb 14
•
12.1k
•
758
•
41
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
160
•
4
liked
4 datasets
4 months ago
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
284
•
14
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14, 2025
•
899
•
227
•
7
ulamai/UnsolvedMath
Preview
•
Updated
12 days ago
•
195
•
23
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
Jan 10
•
193k
•
74
•
2
liked
a dataset
5 months ago
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
717
•
118
liked
a model
7 months ago
nvidia/OpenMath-Nemotron-1.5B
Text Generation
•
2B
•
Updated
Apr 30, 2025
•
3.59k
•
•
33
liked
a dataset
7 months ago
hkust-nlp/CodeIO-PyEdu-Reasoning
Preview
•
Updated
Jun 18, 2025
•
162
•
57
Load more