Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
10
16
41
Zhouliang Yu
zhouliang
Follow
Fishtiks's profile picture
Artemis0430's profile picture
HaimingW'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
16 days ago
ianncity/KIMI-K2.5-1000000x
liked
a dataset
25 days ago
ReasoningTransferability/math_sft_40K
liked
a dataset
26 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
16 days ago
ianncity/KIMI-K2.5-1000000x
Viewer
•
Updated
Apr 7
•
733k
•
5.16k
•
257
liked
a dataset
25 days ago
ReasoningTransferability/math_sft_40K
Viewer
•
Updated
Jul 8, 2025
•
39.9k
•
258
•
10
liked
a dataset
26 days ago
Artemis0430/NuminaMath-20k-Stratified
Viewer
•
Updated
Apr 2
•
20k
•
68
•
3
liked
a model
26 days ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
Text Generation
•
308k
•
Updated
Jan 21
•
5.04k
•
2
liked
a dataset
about 1 month ago
nohurry/Opus-4.6-Reasoning-3000x-filtered
Viewer
•
Updated
Mar 31
•
2.33k
•
7.28k
•
572
liked
a model
about 1 month ago
Jackrong/Qwopus3.5-4B-v3
Image-Text-to-Text
•
5B
•
Updated
Apr 6
•
3k
•
12
liked
5 datasets
2 months ago
BytedTsinghua-SIA/CUDA-Agent-Ops-6K
Viewer
•
Updated
Feb 27
•
6k
•
400
•
62
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
1.62k
•
30
lm-provers/ProofBench
Viewer
•
Updated
Jan 9
•
290
•
105
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
5.88k
•
186
AI-MO/aops
Viewer
•
Updated
Mar 31
•
80.7k
•
718
•
5
liked
5 datasets
3 months ago
lm-provers/FineProofs-SFT
Viewer
•
Updated
Feb 14
•
12.1k
•
657
•
41
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
163
•
4
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
161
•
14
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14, 2025
•
899
•
196
•
7
ulamai/UnsolvedMath
Updated
Feb 4
•
126
•
23
liked
2 datasets
4 months ago
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
Jan 10
•
193k
•
48
•
2
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
646
•
117
liked
a model
7 months ago
nvidia/OpenMath-Nemotron-1.5B
Text Generation
•
2B
•
Updated
Apr 30, 2025
•
1.99k
•
•
33
liked
a dataset
7 months ago
hkust-nlp/CodeIO-PyEdu-Reasoning
Preview
•
Updated
Jun 18, 2025
•
176
•
57
Load more