Kimina-Prover-RL：Hugging Face AI-MO 推出結合強化學習的開源數學定理證明器★ 80
Hugging Face Blog·304 days ago·Release
The AI-MO (AI Mathematical Olympiad) team at Hugging Face has officially released the "Kimina-Prover-RL" project. Following the previously well-received…
