Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
10
16
41
Zhouliang Yu
zhouliang
Follow
Stars321123's profile picture
xtartara1's profile picture
SiweiWu'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
1 day ago
ianncity/KIMI-K2.5-1000000x
liked
a dataset
11 days ago
ReasoningTransferability/math_sft_40K
liked
a dataset
12 days 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
a dataset
1 day ago
ianncity/KIMI-K2.5-1000000x
Viewer
•
Updated
19 days ago
•
733k
•
5.42k
•
246
liked
a dataset
11 days ago
ReasoningTransferability/math_sft_40K
Viewer
•
Updated
Jul 8, 2025
•
39.9k
•
203
•
10
liked
a dataset
12 days ago
Artemis0430/NuminaMath-20k-Stratified
Viewer
•
Updated
24 days ago
•
20k
•
62
•
3
liked
a model
12 days ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
Text Generation
•
308k
•
Updated
Jan 21
•
962
•
2
liked
a dataset
18 days ago
nohurry/Opus-4.6-Reasoning-3000x-filtered
Viewer
•
Updated
25 days ago
•
2.33k
•
9.66k
•
565
liked
a model
21 days ago
Jackrong/Qwopus3.5-4B-v3
Image-Text-to-Text
•
5B
•
Updated
20 days ago
•
3.15k
•
10
liked
2 datasets
about 2 months ago
BytedTsinghua-SIA/CUDA-Agent-Ops-6K
Viewer
•
Updated
Feb 27
•
6k
•
238
•
60
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
1.34k
•
29
liked
5 datasets
2 months ago
lm-provers/ProofBench
Viewer
•
Updated
Jan 9
•
290
•
62
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
2.94k
•
184
AI-MO/aops
Viewer
•
Updated
25 days ago
•
80.7k
•
232
•
5
lm-provers/FineProofs-SFT
Viewer
•
Updated
Feb 14
•
12.1k
•
290
•
39
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
130
•
3
liked
4 datasets
3 months ago
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
156
•
14
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14, 2025
•
899
•
116
•
7
ulamai/UnsolvedMath
Updated
Feb 4
•
108
•
23
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
Jan 10
•
193k
•
75
•
2
liked
a dataset
4 months ago
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
1.33k
•
117
liked
a model
6 months ago
nvidia/OpenMath-Nemotron-1.5B
Text Generation
•
2B
•
Updated
Apr 30, 2025
•
2.52k
•
•
33
liked
a dataset
6 months ago
hkust-nlp/CodeIO-PyEdu-Reasoning
Preview
•
Updated
Jun 18, 2025
•
163
•
57
Load more