leandojo-lean3-reprover-random / generation_config.json
sean-lamont's picture
Upload 5 files
f824fa5 verified
raw
history blame
142 Bytes
{
"_from_model_config": true,
"decoder_start_token_id": 0,
"eos_token_id": 1,
"pad_token_id": 0,
"transformers_version": "4.36.2"
}