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-modelsKimina-Prover-Distill-1.7BKimina-Prover-Distill-8BKimina-Autoformalizer-7BAI-MO.Kimina-Autoformalizer-7B-GGUFAI-MO.Kimina-Prover-Preview-Distill-7B-GGUFAI-MO.Kimina-Prover-Distill-1.7B-GGUFNuminaMath-7B-TIRAI-MO.NuminaMath-7B-TIR-GGUFAIMO-Qwen2.5-Math-1.5B-Instruct-Finetuned-GGUFKimina-Prover-RL-1.7BKimina-Prover-Distill-0.6BAI-MO.Kimina-Prover-Preview-Distill-1.5B-GGUFAI-MO.NuminaMath-7B-CoT-GGUFAI-MO_-_NuminaMath-72B-TIR-ggufHuihui-Ornith-1.5-9B-abliteratedAI-MO.Kimina-Prover-72B-GGUFAIMO-Qwen2.5-Math-7B-Instruct-Finetuned-GGUFAI-MO.Kimina-Prover-Distill-8B-GGUFai-model-2b-gocAI-MO_Kimina-Prover-Distill-8B-GGUFKimina-Prover-Preview-Distill-1.5BAIMO-AIP-7B-v2-GGUFAIMO-AIP-32B-GGUFKimina-Prover-Preview-Distill-7BAI-MO_-_NuminaMath-7B-TIR-ggufNuminaMath-7B-CoTgptoss-120b-aimo3-mergedaimo-model-1.5B-GGUFgilberto-uncased-from-camembert-fast-tokenizer