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-7BNuminaMath-7B-TIRKimina-Prover-Distill-0.6BKimina-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-modelnemotron-super-120b-a12b-nvfp4-count-reap-keep95nemotron-super-120b-a12b-nvfp4-count-reap-keep90reward-modelAIMO-Qwen2.5-Math-1.5B-Instruct-FinetunedNuminaMath-7B-TIR-GPTQgpt-oss-120b-aimo3-tir-mergedAIMO-Qwen2.5-Math-7B-Instruct-Finetunedqwen3-4b-thinking-aimo-numina-cot-sftgpt-oss-120b-hg-aimoaimo3gptoss120sfttry7gpt-oss-120b-aimo3-mathgpt-oss-120b-aimo3-mergedaimo3gptoss120sfttry4aimo3gptoss120sfttry5