AI 뉴스 Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models 2025년 07월 10일 12:54 조회 15 Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models 원문: https://huggingface.co/blog/AI-MO/kimina-prover
