Lean_prover_v1 / generation_config.json
Slim205's picture
Upload LlamaForCausalLM
807e924 verified
raw
history blame contribute delete
252 Bytes
{
"_from_model_config": true,
"begin_suppress_tokens": [
100000,
100001,
100002
],
"bos_token_id": 100000,
"decoder_start_token_id": 100000,
"eos_token_id": 100001,
"pad_token_id": 100002,
"transformers_version": "4.45.2"
}