Goedel-Prover-DPO / train_results.json
linyongver's picture
Upload folder using huggingface_hub
efd7552 verified
{
"epoch": 1.998667732480682,
"total_flos": 174218888085504.0,
"train_loss": 0.33488652056087054,
"train_runtime": 7850.5465,
"train_samples_per_second": 7.649,
"train_steps_per_second": 0.239
}