olmo-3-7b-lean-prover-dpo/generation_config.json

{
  "_from_model_config": true,
  "eos_token_id": [
    100257
  ],
  "pad_token_id": 100257,
  "transformers_version": "5.4.0"
}