---
base_model: deepseek-ai/DeepSeek-Prover-V1
library_name: peft
license: other
tags:
- trl
- dpo
- generated_from_trainer
model-index:
- name: dspv1_dpo_dspfmt_medium
  results: []
---

<!-- This model card has been generated automatically according to the information the Trainer had access to. You
should probably proofread and complete it, then remove this comment. -->

# dspv1_dpo_dspfmt_medium

This model is a fine-tuned version of [deepseek-ai/DeepSeek-Prover-V1](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1) on the None 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: 0.0002
- train_batch_size: 3
- eval_batch_size: 8
- seed: 42
- gradient_accumulation_steps: 2
- total_train_batch_size: 6
- optimizer: Adam with betas=(0.9,0.999) and epsilon=1e-08
- lr_scheduler_type: constant
- lr_scheduler_warmup_ratio: 0.03
- num_epochs: 3

### Training results



### Framework versions

- PEFT 0.12.0
- Transformers 4.44.2
- Pytorch 2.4.0+cu121
- Datasets 2.21.0
- Tokenizers 0.19.1