NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / generation_config.json

EdmundLai's picture

Upload folder using huggingface_hub

aa8e7b1 verified 3 months ago

history blame contribute delete

117 Bytes

	{
	"bos_token_id": 151643,
	"eos_token_id": 151643,
	"max_new_tokens": 2048,
	"transformers_version": "4.51.0"
	}