Never trust anything that can think for itself if you can't see where it keeps its brain.
-
Kimina-Prover-Distill-8B
Kimina-Prover-Distill-8B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4. It is a distillation of Kimina-Prover-72B.
139.1K Pulls 1 Tag Updated 8 months ago
-
Kimina-Prover-Distill-1.7B
Kimina-Prover-Distill-1.7B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4. It is a distillation of Kimina-Prover-72B.
53 Pulls 1 Tag Updated 8 months ago
-
Kimina-Prover-Preview-Distill-7B
Kimina-Prover-Preview-Distill-7B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4.
32 Pulls 1 Tag Updated 10 months ago
-
Kimina-Prover-Preview-Distill-1.5B
Kimina-Prover-Preview-Distill-1.5B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4.
16 Pulls 1 Tag Updated 10 months ago
-
Kimina-Prover-72B
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.
15 Pulls 1 Tag Updated 7 months ago
-
Kimina-Autoformalizer-7B
Kimina-Autoformalizer-7B is an autoformalizer model developed by Project Numina, focusing on translating natural language descriptions of competition style problems to Lean 4 code ending with `by sorry`.
8 Pulls 1 Tag Updated 10 months ago