Hugging Face model: reaperdoesntknow/SMOLM2Prover
Author: reaperdoesntknow
Created: 2025-09-06 01:55:34
Last modified: 2026-08-11 13:16:41
Pipeline: text-generation
Library: transformers
Likes: 2 | Downloads: 2224
Tags: transformers, safetensors, llama, text-generation, proof, cot, reasoning, math, calculus, logic, sft, trl, generated_from_trainer, finetune, symbioticai, convergentintel, conversational, en, dataset:AI-MO/NuminaMath-1.5, base_model:prithivMLmods/SmolLM2-CoT-360M, base_model:finetune:prithivMLmods/SmolLM2-CoT-360M, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
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