AI RESEARCH
Kimina-Prover-RL
Hugging Face Blog
•
Introduction Kimina-Client Dataset Format reward Error correction Overview of the pipeline Results Conclusion A slimmed-down training pipeline from Kimina Prover, with core features and full compatibility with verl.