Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
project-numina
• • 56
Yuanhe Zhang
yuanhezhang
AI & ML interests
I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.
Organizations
None yet