Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models | ainews.cx

Source: ainews.cx Hugging Face Blog

A Blog post by Project-Numina on Hugging Face

Topics: Models

Entities: Models

Related coverage