Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

T1Covered by 1 source · first reported by Hugging Face Blog at 10 Jul 2025, 12:54 UTC

Sources

• T1Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning ModelsHugging Face Blog10 Jul 2025, 12:54