Hugging Face's logo
Zhouliang Yu's picture

Zhouliang Yu

zhouliang
11 19 44
Stars321123's profile picture HaimingW's profile picture webbrain-one-730958's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

upvoted a paper about 1 month ago
DepthBench: Measuring How Residual Connections Enable More Computational Depth
upvoted a paper 3 months ago
SKT: Skill-Use Training at Scale via Verified Synthetic Data Generation
liked a dataset 4 months ago
MathArena/arxivmath-training
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 Benchmark's profile picture Conformal Operator Lab's profile picture