xl-zhao
/

formal_proof_generator_v2_iter3

Model card Files Files and versions

formal_proof_generator_v2_iter3 / generation_config.json

xl-zhao's picture

Add model and config files

41f17fd about 1 year ago

161 Bytes

	{
	"bos_token_id": 128000,
	"eos_token_id": 128001,
	"transformers_version": "4.40.0",
	"do_sample": true,
	"temperature": 0.6,
	"top_p": 0.9
	}