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-7BKimina-Prover-Distill-0.6BKimina-Prover-Preview-Distill-7BKimina-Prover-Preview-Distill-1.5BNuminaMath-7B-CoTNuminaMath-72B-CoTKimina-Prover-72BNuminaMath-72B-TIRAI-MODEL-UPDATE-MAY-7-2025-LLAMA-MODELaimo3gptoss120sfttry8gpt-oss-120b-sft-aimo3-fishmathNuminaMath-7B-TIR-GPTQgpt-oss-120b-aimo3-tir-mergedaimo3gptoss120sfttry7gpt-oss-120b-aimo3-mathgpt-oss-120b-aimo3-mergedaimo3gptoss120sfttry4aimo3gptoss120sfttry5aimo3gptoss120sfttry6aimo3gptoss120sfttry9gpt-oss-120b-AIMO3-GOLDgpt-oss-120b-aimo3-mergedgpt-oss-120b-aimo3-tirgpt-oss-120b-AIMO3-FINAL-GOLD-v1gpt-oss-120b-AIMO3-GOLD-v4gpt-oss-120b-aimo3-mathDental-AImodel-20BDeepSeek-R1-Distill-Qwen-32B-bnb-4bit-AIMO
