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.
118.7K Pulls 1 Tag Updated 5 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.
39 Pulls 1 Tag Updated 5 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.
31 Pulls 1 Tag Updated 7 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.
13 Pulls 1 Tag Updated 7 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.
8 Pulls 1 Tag Updated 4 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 7 months ago