Downloads · 30 days
180
23% of all-time downloads
formalmathatepfl/classic-grpo-reasoning-sft
classic-grpo-reasoning-sft is a text generation model from formalmathatepfl. Use it when you need the model to write or continue text. It is set up for transformers. The card lists the license as other.
should probably proofread and complete it, then remove this comment. --
Downloads · 30 days
180
23% of all-time downloads
All-time downloads
772
Public
Parameters
8.2B
16.4 GB on disk
Likes
0
Public
Click a slice to open those files.
.safetensors16.4 GB · 100%
From the Hugging Face model README
This model is a fine-tuned version of formalmathatepfl/qwen3-8b-classic-grpo on the lean_reasoning_sft dataset.
More information needed
More information needed
More information needed
The following hyperparameters were used during training: