qwen3-cpt-lean-sft-feedback-selfdistill-r1
This model is a fine-tuned version of formalmathatepfl/qwen3-8b-feedback-no-repair on the lean_selfdistill_r1_train dataset.
Model description
More information needed
Intended uses & limitations
More information needed
Training and evaluation data
More information needed
Training procedure
Training hyperparameters
The following hyperparameters were used during training:
- learning_rate: 2e-06
- train_batch_size: 1
- eval_batch_size: 8
- seed: 42
- distributed_type: multi-GPU
- num_devices: 8
- total_train_batch_size: 8
- total_eval_batch_size: 64
- optimizer: Use OptimizerNames.ADAMW_TORCH_FUSED with betas=(0.9,0.999) and epsilon=1e-08 and optimizer_args=No additional optimizer arguments
- lr_scheduler_type: cosine
- lr_scheduler_warmup_ratio: 0.03
- num_epochs: 1.0
Training results
Framework versions
- Transformers 4.57.3
- Pytorch 2.9.0+cu128
- Datasets 4.0.0
- Tokenizers 0.22.2