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

En 3 lignesKimina-Prover applique la recherche par renforcement au moment de l'inférence sur des modèles de raisonnement formel. La méthode améliore les performances sur les preuves mathématiques en explorant dynamiquement l'espace de recherche sans réentraînement.

Résumé généré par Claude — vérifié par l'humain