1.7B open-weight LLM by AI-MO
Kimina-Prover-Distill-1.7B is an open-weight text-generation model with roughly 1.7B parameters published by AI-MO on the Hugging Face Hub. It has 930 downloads. Runs with transformers.
AI-MO
api
free
Others in the same category, ranked by how often they are opened.
