Hugging Face's logo

SJTULean
/
LeanFormalizer_SFT

Safetensors
English
qwen2
Model card Files
xet
 Community
1
LeanFormalizer_SFT

Commit History

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