view post Post 2629 deepseek-ai/DeepSeek-R1-0528This is the end See translation 1 reply · 🤗 7 7 ❤️ 1 1 + Reply
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Paper • 2504.11354 • Published Apr 15 • 5
INTELLECT-2: A Reasoning Model Trained Through Globally Decentralized Reinforcement Learning Paper • 2505.07291 • Published 22 days ago • 11