Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
- ID
- 1212
- Status
- new
- Published
- 10 Jul 2025, 8:54 PM
- Fetched
- 27 Jun 2026, 7:47 PM
- Provider
- Hugging Face Blog
- Category
- developer-ai
- Original URL
- https://huggingface.co/blog/AI-MO/kimina-prover
- Source URL
- https://huggingface.co/blog/feed.xml
Excerpt
-
Summary
No summary yet. It will appear after the daemon summarizes this item.