Hugging Face model: lm-provers/QED-Nano-SFT
Author: lm-provers
Created: 2026-02-12 11:53:19
Last modified: 2026-03-09 16:02:17
Pipeline: text-generation
Library: transformers
Likes: 6 | Downloads: 286
Tags: transformers, safetensors, qwen3, text-generation, math, reasoning, olympiad, proof-generation, sft, distillation, conversational, dataset:lm-provers/FineProofs-SFT, base_model:Qwen/Qwen3-4B-Thinking-2507, base_model:finetune:Qwen/Qwen3-4B-Thinking-2507, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-4B-Thinking-2507
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-4B-Thinking-2507
tags: math, reasoning, olympiad, proof-generation, sft, distillation
library_name: transformers
pipeline_tag: text-generation
datasets: lm-provers/FineProofs-SFT