Hugging Face's logo
Zhouliang Yu's picture
10 16 39

Zhouliang Yu

zhouliang
Longhui98's profile picture haoquan03's profile picture UGVly's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

liked a dataset 35 minutes ago
Artemis0430/NuminaMath-20k-Stratified
liked a model about 15 hours ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
authored a paper 4 days ago
Stabilizing Rubric Integration Training via Decoupled Advantage Normalization
View all activity

Organizations

Multimodal Art Projection's profile picture LLM4Lean's profile picture LLM4SymbolWorldModel's profile picture FormalMATH's profile picture CUHK SphereLab's profile picture