library_name, license, base_model, tags, model-index
| library_name | license | base_model | tags | model-index | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| transformers | other | deepseek-ai/DeepSeek-Prover-V2-7B |
|
|
deepseek-prover-v2-7b-lean-cpt-32k
This model is a fine-tuned version of deepseek-ai/DeepSeek-Prover-V2-7B on the lean_cpt_scrape dataset. It achieves the following results on the evaluation set:
- Loss: 0.6429
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-06
- train_batch_size: 2
- eval_batch_size: 2
- seed: 42
- distributed_type: multi-GPU
- num_devices: 8
- total_train_batch_size: 16
- total_eval_batch_size: 16
- optimizer: Use OptimizerNames.ADAMW_TORCH 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+cu129
- Datasets 3.6.0
- Tokenizers 0.22.1