CriticLean
-
m-a-p/CriticLeanGPT-Qwen3-8B-RL
8B β’ Updated β’ 27 β’ 3 -
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 204 β’ 1 -
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 67 β’ 1 -
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Paper β’ 2507.06181 β’ Published β’ 39