ntp-mathlib-context-deepseek-coder-1.3b/generation_config.json

{
  "_from_model_config": true,
  "bos_token_id": 32013,
  "eos_token_id": 32014,
  "transformers_version": "4.38.2"
}