{"id":"541a5fd7-67d0-487f-9083-c45c1bef255d","slug":"hf-model-reaperdoesntknow-smolm2prover-gguf-y","name":"SMOLM2Prover-GGUF","description":"Hugging Face model reaperdoesntknow/SMOLM2Prover-GGUF. Task: text generation. Library: transformers. 1,817 downloads.","capabilities":["transformers","gguf","text-generation","proof","cot","reasoning","math","calculus","logic","sft","trl","generated_from_trainer","finetune","symbioticai","convergentintel","en","dataset:AI-MO/NuminaMath-1.5","base_model:prithivMLmods/SmolLM2-CoT-360M","base_model:quantized:prithivMLmods/SmolLM2-CoT-360M","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":44.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:14.544Z"}