deepseek-math-7B-lean-prover-dpo-mistral/generation_config.json

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