models
Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.
ai-modelsAI-MO.Kimina-Autoformalizer-7B-GGUFAI-MO.Kimina-Prover-Preview-Distill-7B-GGUFAI-MO.Kimina-Prover-Distill-1.7B-GGUFAI-MO.NuminaMath-7B-TIR-GGUFAI-MO.Kimina-Prover-Preview-Distill-1.5B-GGUFAI-MO.NuminaMath-7B-CoT-GGUFAIMO-Qwen2.5-Math-1.5B-Instruct-Finetuned-GGUFAI-MO.Kimina-Prover-72B-GGUFAI-MO_-_NuminaMath-72B-TIR-ggufAI-MO.Kimina-Prover-Distill-8B-GGUFAIMO-Qwen2.5-Math-7B-Instruct-Finetuned-GGUFAI-MO_Kimina-Prover-Distill-8B-GGUFAIMO-AIP-7B-v2-GGUFAIMO-AIP-32B-GGUFAI-MO_-_NuminaMath-7B-TIR-ggufaimo-model-1.5B-GGUFai-modelsAIMO_DS_14_SFT-GGUFAI-MO_Kimina-Prover-Distill-1.7B-GGUFAIMO2_7B_v1-GGUFAIMO-AIP-VERITAS-7B-v2-GGUFAI-MODEL-UPDATE-MAY-7-2025-LLAMA-MODELaimodelltx-2-19b-distilled-Q6_K.ggufaimodelDeepseekscriptgenerationmodel-GGUFaimodel-Q4_K_M-GGUFai-model-repo