leanworkbook/wholeproof/generation_config.json

{
  "do_sample": false,
  "eos_token_id": [
    151643
  ],
  "max_new_tokens": 2048,
  "pad_token_id": 151643,
  "transformers_version": "5.2.0"
}