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