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
11
17
42
Zhouliang Yu
zhouliang
Follow
NOrangeroli's profile picture
Artemis0430's profile picture
haoquan03's profile picture
20 followers
·
29 following
https://zhouliang-yu.github.io
zhouliang-yu
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
authored
a paper
5 days ago
Sample-Efficient Post-Training for LEGO Spatial-Physics Reasoning
commented
on
a paper
5 days ago
Sample-Efficient Post-Training for LEGO Spatial-Physics Reasoning
upvoted
a
paper
5 days ago
Sample-Efficient Post-Training for LEGO Spatial-Physics Reasoning
View all activity
Organizations
zhouliang
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
13 days ago
rootacess/Lean-SFT-dataset
Viewer
•
Updated
Feb 11
•
25.8k
•
72
•
1
liked
2 datasets
about 2 months ago
ianncity/KIMI-K2.5-1000000x
Viewer
•
Updated
Apr 7
•
733k
•
3.51k
•
262
ReasoningTransferability/math_sft_40K
Viewer
•
Updated
Jul 8, 2025
•
39.9k
•
203
•
11
liked
a dataset
2 months ago
Artemis0430/NuminaMath-20k-Stratified
Viewer
•
Updated
Apr 2
•
20k
•
46
•
3
liked
a model
2 months ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
Text Generation
•
308k
•
Updated
Jan 21
•
87
•
2
liked
a dataset
2 months ago
nohurry/Opus-4.6-Reasoning-3000x-filtered
Viewer
•
Updated
Mar 31
•
2.33k
•
2.21k
•
620
liked
a model
2 months ago
Jackrong/Qwopus3.5-4B-v3
Image-Text-to-Text
•
5B
•
Updated
Apr 6
•
477
•
13
liked
a dataset
3 months ago
BytedTsinghua-SIA/CUDA-Agent-Ops-6K
Viewer
•
Updated
Feb 27
•
6k
•
280
•
66
liked
8 datasets
4 months ago
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
1.34k
•
30
lm-provers/ProofBench
Viewer
•
Updated
Jan 9
•
290
•
77
•
3
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Jan 29
•
896k
•
4.47k
•
187
AI-MO/aops
Viewer
•
Updated
Mar 31
•
80.7k
•
817
•
6
lm-provers/FineProofs-SFT
Viewer
•
Updated
Feb 14
•
12.1k
•
295
•
42
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
56
•
4
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
274
•
14
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14, 2025
•
899
•
119
•
7
liked
2 datasets
5 months ago
ulamai/UnsolvedMath
Preview
•
Updated
May 13
•
131
•
23
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
4 days ago
•
232k
•
140
•
2
liked
a dataset
6 months ago
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
706
•
121
liked
a model
8 months ago
nvidia/OpenMath-Nemotron-1.5B
Text Generation
•
2B
•
Updated
Apr 30, 2025
•
3.05k
•
•
33
Load more