Zhouliang Yu

zhouliang

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

liked a dataset 10 days ago
SphereLab/FormalMATH-All
liked a dataset 12 days ago
SphereLab/FormalMATH-Lite
liked a model about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-671B
View all activity

Organizations

Multimodal Art Projection's profile picture LLM4Lean's profile picture LLM4SymbolWorldModel's profile picture FormalMATH's profile picture Scalable Principles for Learning and Reasoning (Sphere) Lab's profile picture

zhouliang's activity

liked a Space almost 3 years ago