Hugging Face model: reaperdoesntknow/SMOLM2Prover-GGUF
Author: reaperdoesntknow
Created: 2026-03-08 10:29:57
Last modified: 2026-08-11 13:16:43
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 3023
Tags: 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, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: prithivMLmods/SmolLM2-CoT-360M
Card metadata:
library_name: transformers
model_name: SmolLM2Prover
tags: text-generation, proof, cot, reasoning, math, calculus, logic, sft, trl, generated_from_trainer, finetune, symbioticai, convergentintel
language: en
license: apache-2.0
datasets: AI-MO/NuminaMath-1.5
base_model: prithivMLmods/SmolLM2-CoT-360M
pipeline_tag: text-generation