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