SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT

14.1 GB

2 contributors

History: 5 commits

wxz123's picture

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

c5005e9 verified about 1 year ago

.gitattributes
1.52 kB

initial commit about 1 year ago
README.md
31 Bytes

initial commit about 1 year ago
config.json
798 Bytes

Upload config.json with huggingface_hub about 1 year ago
model-00001-of-00004.safetensors
4.88 GB
xet

Upload model-00001-of-00004.safetensors with huggingface_hub about 1 year ago
model-00002-of-00004.safetensors
4.93 GB
xet

Upload model-00002-of-00004.safetensors with huggingface_hub about 1 year ago
model-00003-of-00004.safetensors
4.33 GB
xet

Upload model-00003-of-00004.safetensors with huggingface_hub about 1 year ago