File size: 2,682 Bytes
efd7552 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | ---
library_name: transformers
license: other
base_model: /home/bl3615/data/Goedel-Prover-SFT
tags:
- llama-factory
- full
- generated_from_trainer
model-index:
- name: dpo_dpo_lean_0_b0.03_f0_lr5e-6_e2
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. -->
# dpo_dpo_lean_0_b0.03_f0_lr5e-6_e2
This model is a fine-tuned version of [/home/bl3615/data/Goedel-Prover-SFT](https://huggingface.co//home/bl3615/data/Goedel-Prover-SFT) on the dpo_lean_0 dataset.
It achieves the following results on the evaluation set:
- Loss: 0.5357
- Rewards/chosen: -4.1002
- Rewards/rejected: -5.8239
- Rewards/accuracies: 0.7566
- Rewards/margins: 1.7237
- Logps/chosen: -209.7086
- Logps/rejected: -266.5144
- Logits/chosen: -13.4579
- Logits/rejected: -12.9861
## 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: 4
- gradient_accumulation_steps: 4
- total_train_batch_size: 32
- total_eval_batch_size: 8
- optimizer: Use 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.1
- num_epochs: 2.0
### Training results
| Training Loss | Epoch | Step | Validation Loss | Rewards/chosen | Rewards/rejected | Rewards/accuracies | Rewards/margins | Logps/chosen | Logps/rejected | Logits/chosen | Logits/rejected |
|:-------------:|:------:|:----:|:---------------:|:--------------:|:----------------:|:------------------:|:---------------:|:------------:|:--------------:|:-------------:|:---------------:|
| 0.5867 | 0.5329 | 500 | 0.5393 | -1.7260 | -2.3840 | 0.7138 | 0.6580 | -130.5684 | -151.8518 | -4.1731 | -3.9948 |
| 0.1708 | 1.0650 | 1000 | 0.5134 | -4.1008 | -5.5590 | 0.7533 | 1.4582 | -209.7289 | -257.6841 | -11.3604 | -10.9174 |
| 0.1112 | 1.5979 | 1500 | 0.5428 | -4.2436 | -5.9501 | 0.7599 | 1.7065 | -214.4901 | -270.7217 | -14.0546 | -13.5623 |
### Framework versions
- Transformers 4.48.2
- Pytorch 2.6.0+cu124
- Datasets 3.2.0
- Tokenizers 0.21.0
|