GAR_DeepSeek-Prover-V2/generation_config.json

{
  "_from_model_config": true,
  "bos_token_id": 100000,
  "eos_token_id": 100001,
  "transformers_version": "4.55.2"
}