Hugging Face's logo

SJTULean
/
LeanFormalizer_CoT

Safetensors
English
qwen2
Model card Files Community
LeanFormalizer_CoT

Commit History

Upload generation_config.json with huggingface_hub
f69d02a
verified

wxz123 commited on

Upload added_tokens.json with huggingface_hub
c861b7f
verified

wxz123 commited on

Upload merges.txt with huggingface_hub
aefda44
verified

wxz123 commited on

Upload vocab.json with huggingface_hub
51aa13f
verified

wxz123 commited on

Upload special_tokens_map.json with huggingface_hub
a5f15c0
verified

wxz123 commited on

Upload tokenizer_config.json with huggingface_hub
6317cca
verified

wxz123 commited on

Upload tokenizer.json with huggingface_hub
8a84bfc
verified

wxz123 commited on

Upload model.safetensors.index.json with huggingface_hub
b4aabbc
verified

wxz123 commited on

Upload model-00004-of-00004.safetensors with huggingface_hub
cca88cc
verified

wxz123 commited on

Upload model-00003-of-00004.safetensors with huggingface_hub
8dae23d
verified

wxz123 commited on

Upload model-00002-of-00004.safetensors with huggingface_hub
8bf9a0a
verified

wxz123 commited on

Upload model-00001-of-00004.safetensors with huggingface_hub
fd114df
verified

wxz123 commited on

Upload config.json with huggingface_hub
db3d313
verified

wxz123 commited on

initial commit
672cf83
verified

wxz123 commited on