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.
Kimina-Prover-Distill-8BKimina-Prover-Distill-1.7BKimina-Autoformalizer-7BAI-MO.Kimina-Autoformalizer-7B-GGUFAI-MO.Kimina-Prover-Preview-Distill-7B-GGUFAI-MO.Kimina-Prover-Distill-1.7B-GGUFNuminaMath-7B-TIRKimina-Prover-Distill-0.6BAI-MO.NuminaMath-7B-TIR-GGUFAI-MO.Kimina-Prover-Preview-Distill-1.5B-GGUFAI-MO.NuminaMath-7B-CoT-GGUFAI-MO.Kimina-Prover-72B-GGUFAI-MO.Kimina-Prover-Distill-8B-GGUFKimina-Prover-Preview-Distill-7BKimina-Prover-Preview-Distill-1.5Bgptoss-120b-aimo3-mergedNuminaMath-7B-CoTNuminaMath-72B-CoTKimina-Prover-72BNuminaMath-72B-TIRAI-MODEL-UPDATE-MAY-7-2025-LLAMA-MODELHuihui-Ornith-1.5-9B-abliteratedaimo3gptoss120sfttry8policy-modelgpt-oss-120b-sft-aimo3-fishmathnemotron-super-120b-a12b-nvfp4-count-reap-keep95nemotron-super-120b-a12b-nvfp4-count-reap-keep90reward-modelAIMO-Qwen2.5-Math-1.5B-Instruct-FinetunedNuminaMath-7B-TIR-GPTQ