Hugging Face's logo
Zhouliang Yu's picture
10 15 30

Zhouliang Yu

zhouliang
Longhui98's profile picture 21world's profile picture HaimingW's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

liked a dataset 3 days ago
lm-provers/FineProofs-SFT
upvoted a paper 8 days ago
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL
liked a dataset 10 days ago
FrenzyMath/Herald_proofs
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
zhouliang (Zhouliang Yu)
Hugging Face's logo
Zhouliang Yu's picture
10 15 30

Zhouliang Yu

zhouliang
Longhui98's profile picture 21world's profile picture HaimingW's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

liked a dataset 3 days ago
lm-provers/FineProofs-SFT
upvoted a paper 8 days ago
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL
liked a dataset 10 days ago
FrenzyMath/Herald_proofs
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