Leanabell-Prover: Posttraining Scaling in Formal Reasoning Paper • 2504.06122 • Published about 22 hours ago • 1
SmolVLM: Redefining small and efficient multimodal models Paper • 2504.05299 • Published 2 days ago • 122
Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Model Paper • 2503.24290 • Published 9 days ago • 60
Understanding R1-Zero-Like Training: A Critical Perspective Paper • 2503.20783 • Published 14 days ago • 35
SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild Paper • 2503.18892 • Published 16 days ago • 28
Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't Paper • 2503.16219 • Published 20 days ago • 46
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning Paper • 2503.07572 • Published 30 days ago • 41
DAPO: An Open-Source LLM Reinforcement Learning System at Scale Paper • 2503.14476 • Published 22 days ago • 116
🧠 Reasoning datasets Collection Datasets with reasoning traces for math and code released by the community • 20 items • Updated 8 days ago • 123
OpenR1-Math Collection Dataset and SFT model distilled from DeepSeek-R1. Check out our blog post for more details: https://huggingface.co/blog/open-r1/update-2 • 3 items • Updated 29 days ago • 7