SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT

Commit History

Upload tokenizer.json with huggingface_hub

90bbbbd
verified

wxz123 commited on Dec 25, 2024

Upload model.safetensors.index.json with huggingface_hub

8a8d30a
verified

wxz123 commited on Dec 25, 2024

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

54a4c56
verified

wxz123 commited on Dec 25, 2024

Update README.md

3438e5a
verified

Inuyasha2023ch commited on Dec 25, 2024

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

c5005e9
verified

wxz123 commited on Dec 24, 2024

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

dcd9988
verified

wxz123 commited on Dec 24, 2024

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

01081b5
verified

wxz123 commited on Dec 24, 2024

Upload config.json with huggingface_hub

e9fbb40
verified

wxz123 commited on Dec 24, 2024

initial commit

d03c492
verified

wxz123 commited on Dec 24, 2024