SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT / special_tokens_map.json

Commit History

Upload special_tokens_map.json with huggingface_hub

04b7879
verified

wxz123 commited on Dec 25, 2024