BoltonBailey/
Kimina-Prover-72B:latest

8 4 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.

4 months ago

f6ec9ad0b839 · 145GB ·

model
qwen2
·
72.7B
·
F16
system
You are an expert in mathematics and Lean4

Readme

No readme