Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / generation_config.json

linyongver's picture

Initial model upload

5e1e7cd verified 26 days ago

history blame contribute delete

121 Bytes

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