Hugging Face's logo

SJTULean
/
LeanFormalizer_CoT

Safetensors
English
qwen2
Model card Files
xet
 Community
1
LeanFormalizer_CoT
  • 2 contributors
 History: 4 commits
wxz123's picture
wxz123
Upload model-00002-of-00004.safetensors with huggingface_hub
8bf9a0a verified