AI RESEARCH
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Hugging Face Blog
•
TTRL search Enabling Error-Fixing in Kimina-Prover Other improvement TTRL search proof example Proof structure Formal code Error fixing example Proof before error fixing Error message Proof after error fixing