m-a-p/CriticLeanGPT-Qwen3-8B-RL
8B
•
Updated
•
61
•
3
CriticLean
CriticLean
-
-
m-a-p/CriticLeanGPT-Qwen3-14B-RL
15B • Updated • 14 -
m-a-p/CriticLeanGPT-Qwen3-32B-RL
33B • Updated • 173 -
m-a-p/CriticLeanGPT-Qwen2.5-7B-RL
15B • Updated • 4 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-14B-RL
15B • Updated • 2 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-32B-RL
33B • Updated • 43 -
m-a-p/CriticLeanGPT-Qwen2.5-7B-Instruct-SFT
Text Generation • 8B • Updated • 12 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-14B-Instruct-SFT
Text Generation • 15B • Updated • 28 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-32B-Instruct-SFT
Text Generation • Updated • 4 -
m-a-p/CriticLeanGPT-Qwen2.5-7B-Instruct-SFT-RL
8B • Updated • 7 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-14B-Instruct-SFT-RL
15B • Updated • 5 • 1 -
m-a-p/CriticLeanGPT-Qwen2.5-32B-Instruct-SFT-RL
33B • Updated • 5 -
m-a-p/CriticLeanBench
Viewer • Updated • 500 • 304 • 1 -
m-a-p/CriticLeanInstruct
Viewer • Updated • 48k • 119 • 1 -
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Paper • 2507.06181 • Published • 41 -
m-a-p/FineLeanCorpus
Viewer • Updated • 509k • 971 • 9