purewhite42
/

rautoformalizer_gtra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

rautoformalizer_gtra_deepseek / generation_config.json

purewhite42's picture

Add files using upload-large-folder tool

baa977d verified 12 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"
	}