Model: reaperdoesntknow/SMOLM2Prover
Author: reaperdoesntknow
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, llama, text-generation, proof, cot, reasoning, math, calculus, logic, sft, trl, generated_from_trainer, finetune, symbioticai, 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 models (finetune): 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
language: en
license: apache-2.0
datasets: AI-MO/NuminaMath-1.5
base_model: prithivMLmods/SmolLM2-CoT-360M
pipeline_tag: text-generation
Likes: 1 | All-time downloads: 77
Created: 2025-09-06 01:55:34