fieldsmodelorg
/

proof-pilot-checkpoints

Safetensors

English

math

theorem-proving

olmo3

Model card Files Files and versions

xet

Community

proof-pilot-checkpoints / step09-softdistill-v2test-32b /generation_config.json

ycchen

Add files using upload-large-folder tool

2925c01 verified 4 months ago

Raw History Blame Contribute Delete

218 Bytes

{
  "_from_model_config": true,
  "bos_token_id": 0,
  "do_sample": true,
  "eos_token_id": 1,
  "max_new_tokens": 32768,
  "pad_token_id": 2,
  "temperature": 0.6,
  "top_p": 0.95,
  "transformers_version": "5.9.0"
}

	{
	"_from_model_config": true,
	"bos_token_id": 0,
	"do_sample": true,
	"eos_token_id": 1,
	"max_new_tokens": 32768,
	"pad_token_id": 2,
	"temperature": 0.6,
	"top_p": 0.95,
	"transformers_version": "5.9.0"
	}