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

Why it matters

A useful signal for anyone monitoring applying. The kiminaprover factor makes this more consequential than it first appears.