Hugging Face's logo
Zhouliang Yu's picture
10 8 19

Zhouliang Yu

zhouliang
Stars321123's profile picture SiweiWu's profile picture mkj69's profile picture
·
https://zhouliang-yu.github.io

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

updated a collection 4 days ago
Sphere Prover
updated a collection 4 days ago
Sphere Prover
updated a collection 4 days ago
Sphere Prover
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