SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / special_tokens_map.json

Commit History

Upload special_tokens_map.json with huggingface_hub

a5f15c0
verified

wxz123 commited on Dec 25, 2024