CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Paper
•
2507.06181
•
Published
•
36
Yingshui Tan
YingshuiTan1996
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
1 day ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
1 day ago
A Survey on Latent Reasoning
authored
a paper
4 months ago
CodeCriticBench: A Holistic Code Critique Benchmark for Large Language
Models
Organizations
None yet
upvoted
2
papers
1 day ago
authored
a
paper
4 months ago