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

{
  "_from_model_config": true,
  "bos_token_id": 100000,
  "eos_token_id": [
    100001
  ],
  "pad_token_id": 100001,
  "transformers_version": "4.57.0"
}