Hugging Face's logo

SJTULean
/
LeanFormalizer_SFT

Safetensors
English
qwen2
Model card Files
xet
 Community
1
LeanFormalizer_SFT

Commit History

Improve language tag
cfd755b
verified

lbourdois commited on

Update README.md
98430bc
verified

Inuyasha2023ch commited on

Update README.md
760945d
verified

Inuyasha2023ch commited on

Update README.md
1ca83c1
verified

Inuyasha2023ch commited on

Update README.md
0b547ea
verified

Inuyasha2023ch commited on

Update README.md
b2ffba4
verified

Inuyasha2023ch commited on

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

Update README.md
3438e5a
verified

Inuyasha2023ch 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