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

Zhouliang Yu

zhouliang
Stars321123's profile picture tahamajs's profile picture Fishtiks's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

liked a dataset about 18 hours ago
Artemis0430/NuminaMath-20k-Stratified
liked a model 1 day ago
OpenDataArena/Qwen3-8B-ODA-Math-460k
authored a paper 5 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