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

Zhouliang Yu

zhouliang
GigaBoy's profile picture 21world's profile picture mkj69's profile picture
ยท

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

authored a paper 1 day ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
upvoted a paper 1 day ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
updated a collection 6 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