Kimina Lean Server

Stream: Machine Learning for Theorem Proving

[Marco Dos Santos]

The Kimina Team recently released Kimina-Prover Preview, achieving SOTA on miniF2F. Yesterday, we released a demo of our 72B model.

Today, we’re open-sourcing the Kimina Lean Server, which we used to train Kimina-Prover!
It enables fast and scalable interaction with Lean 4 via a unified REST API, and is designed as a simple verifier for reinforcement learning pipelines.
It supports:

• Large-scale verification
• Proof data extraction
• Interaction

We'd love to hear your feedback!

Code: https://github.com/project-numina/kimina-lean-server
Technical report: https://github.com/project-numina/kimina-lean-server/blob/main/Technical_Report.pdf