Hugging Face's logo

SJTULean
/
LeanFormalizer_SFT

Safetensors
English
qwen2
Model card Files
xet
Community
1
LeanFormalizer_SFT

Commit History

Update README.md
aef8a47
verified

wxz123 commited on

Update README.md
d56c73c
verified

wxz123 commited on

Upload generation_config.json with huggingface_hub
8a84778
verified

wxz123 commited on

Upload added_tokens.json with huggingface_hub
5e5f591
verified

wxz123 commited on

Upload merges.txt with huggingface_hub
b0c1b36
verified

wxz123 commited on

Upload vocab.json with huggingface_hub
7fdc714
verified

wxz123 commited on

Upload special_tokens_map.json with huggingface_hub
04b7879
verified

wxz123 commited on

Upload tokenizer_config.json with huggingface_hub
e3a1e5b
verified

wxz123 commited on

Upload tokenizer.json with huggingface_hub
90bbbbd
verified

wxz123 commited on

Upload model.safetensors.index.json with huggingface_hub
8a8d30a
verified

wxz123 commited on

Upload model-00004-of-00004.safetensors with huggingface_hub
54a4c56
verified

wxz123 commited on

Upload model-00003-of-00004.safetensors with huggingface_hub
c5005e9
verified

wxz123 commited on

Upload model-00002-of-00004.safetensors with huggingface_hub
dcd9988
verified

wxz123 commited on

Upload model-00001-of-00004.safetensors with huggingface_hub
01081b5
verified

wxz123 commited on

Upload config.json with huggingface_hub
e9fbb40
verified

wxz123 commited on

initial commit
d03c492
verified

wxz123 commited on