BoltonBailey/ Kimina-Prover-72B

10 6 months ago

Kimina-Prover-72B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4.

1 model

Kimina-Prover-72B:latest
f6ec9ad0b839 • 145GB • 128K context window •
Text input • 6 months ago