Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
10
16
40
Zhouliang Yu
zhouliang
Follow
NOrangeroli's profile picture
Longhui98's profile picture
GigaBoy's profile picture
20 followers
·
25 following
https://zhouliang-yu.github.io
zhouliang-yu
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
liked
a dataset
2 days ago
ReasoningTransferability/math_sft_40K
liked
a dataset
3 days ago
Artemis0430/NuminaMath-20k-Stratified
liked
a model
4 days ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
View all activity
Organizations
zhouliang
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
2 days ago
ReasoningTransferability/math_sft_40K
Viewer
•
Updated
Jul 8, 2025
•
39.9k
•
22
•
8
liked
a dataset
3 days ago
Artemis0430/NuminaMath-20k-Stratified
Viewer
•
Updated
15 days ago
•
20k
•
24
•
3
liked
a model
4 days ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
Text Generation
•
308k
•
Updated
Jan 21
•
9
•
2
liked
a dataset
10 days ago
nohurry/Opus-4.6-Reasoning-3000x-filtered
Viewer
•
Updated
17 days ago
•
2.33k
•
9.95k
•
550
liked
a model
12 days ago
Jackrong/Qwopus3.5-4B-v3
Image-Text-to-Text
•
5B
•
Updated
11 days ago
•
2.82k
•
9
liked
6 datasets
about 2 months ago
BytedTsinghua-SIA/CUDA-Agent-Ops-6K
Viewer
•
Updated
Feb 27
•
6k
•
254
•
60
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
1.06k
•
29
lm-provers/ProofBench
Viewer
•
Updated
Jan 9
•
290
•
125
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
2.85k
•
181
AI-MO/aops
Viewer
•
Updated
16 days ago
•
80.7k
•
178
•
5
lm-provers/FineProofs-SFT
Viewer
•
Updated
Feb 14
•
12.1k
•
215
•
39
liked
3 datasets
2 months ago
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
189
•
3
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
138
•
14
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14, 2025
•
899
•
84
•
7
liked
2 datasets
3 months ago
ulamai/UnsolvedMath
Updated
Feb 4
•
88
•
23
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
Jan 10
•
193k
•
93
•
2
liked
a dataset
4 months ago
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
1.61k
•
117
liked
a model
6 months ago
nvidia/OpenMath-Nemotron-1.5B
Text Generation
•
2B
•
Updated
Apr 30, 2025
•
3.06k
•
•
32
liked
a dataset
6 months ago
hkust-nlp/CodeIO-PyEdu-Reasoning
Preview
•
Updated
Jun 18, 2025
•
136
•
57
liked
a model
6 months ago
nvidia/NVIDIA-Nemotron-Nano-9B-v2-Base
Text Generation
•
9B
•
Updated
Nov 4, 2025
•
73k
•
44
Load more