Goedel-LM
/

Goedel-Prover-DPO

Model card Files Files and versions

Goedel-Prover-DPO / generation_config.json

linyongver's picture

Upload folder using huggingface_hub

efd7552 verified 10 months ago

history blame contribute delete

121 Bytes

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