Hugging Face model: Pythagoras-LM/Pythagoras-Prover-4B
Author: Pythagoras-LM
Created: 2026-06-07 17:49:52
Last modified: 2026-07-23 16:47:27
Pipeline: text-generation
Library: transformers
Likes: 5 | Downloads: 1339
Tags: transformers, safetensors, qwen3, text-generation, conversational, dataset:Pythagoras-LM/SFT_Dataset, dataset:Pythagoras-LM/SFT_Dataset_Distillation_4B, arxiv:2606.12594, base_model:Qwen/Qwen3-4B, base_model:finetune:Qwen/Qwen3-4B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-4B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-4B
pipeline_tag: text-generation
library_name: transformers
datasets: Pythagoras-LM/SFT_Dataset, Pythagoras-LM/SFT_Dataset_Distillation_4B