StepFun-Prover-Preview-7B/generate_config.json

{
  "_from_model_config": true,
  "bos_token_id": 151646,
  "eos_token_id": 151643,
  "do_sample": true,
  "temperature": 0.7,
  "top_p": 0.95,
  "transformers_version": "4.54.0"
}