purewhite42
/

rautoformalizer_ra_internlm

Text Generation

feature-extraction

statement-autoformalization

formal-mathematics

Model card Files Files and versions Community

rautoformalizer_ra_internlm / generation_config.json

purewhite42's picture

Add files using upload-large-folder tool

4621468 verified 2 days ago

history blame contribute delete

123 Bytes

	{
	"bos_token_id": 1,
	"eos_token_id": [
	2,
	92542
	],
	"pad_token_id": 2,
	"transformers_version": "4.44.2"
	}