Zhouliang Yu
zhouliang
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
authored
a paper
about 6 hours ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
about 10 hours ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
updated
a collection
5 days ago
Sphere Prover
Organizations
