1 story · sorted newest first · 📡 RSS
Kimina-Prover Preview 72B, a new formal theorem prover, leverages reinforcement learning for state-of-the-art performance on rigor
