formalmathatepfl/deepseek-7B-finetuned

deepseek-lean-sft

This model is a fine-tuned version of deepseek-ai/deepseek-llm-7b-base on the lean_sft dataset. It achieves the following results on the evaluation set:

• Loss: 0.0654

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: 5e-05
• train_batch_size: 2
• eval_batch_size: 2
• seed: 42
• distributed_type: multi-GPU
• num_devices: 8
• gradient_accumulation_steps: 2
• total_train_batch_size: 32
• total_eval_batch_size: 16
• 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.05
• num_epochs: 1.0

Training results

Training Loss	Epoch	Step	Validation Loss
0.0898	0.1692	1000	0.0916
0.0794	0.3385	2000	0.0791
0.0724	0.5077	3000	0.0736
0.0671	0.6769	4000	0.0687
0.0638	0.8462	5000	0.0660

Framework versions

• Transformers 4.57.3
• Pytorch 2.9.0+cu129
• Datasets 4.0.0
• Tokenizers 0.22.1