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 1 year 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.
59 Pulls 1 Tag Updated 1 year 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.
38 Pulls 1 Tag Updated 1 year 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`.
24 Pulls 1 Tag Updated 1 year 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.
17 Pulls 1 Tag Updated 1 year 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 1 year ago