0

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

HuggingFace blog post presenting our test-time RL search approach for formal reasoning.

H. Wang, M. Unsal, X. Lin, , J. Liu, M.D Santos, F. Sung, M. Vinyes