deepseek-prover-v2-cpt/README.md

library_name, license, base_model, tags, model-index

library_name	license	base_model	tags	model-index
transformers	other	deepseek-ai/DeepSeek-Prover-V2-7B	llama-factory full generated_from_trainer	name results deepseek-prover-v2-7b-lean-cpt-32k

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