Hugging Face's logo

SJTULean
/
LeanFormalizer_CoT

Safetensors
English
qwen2
Model card Files
xet
 Community
1
LeanFormalizer_CoT
2.32 kB
  • 2 contributors
 History: 2 commits
wxz123's picture
wxz123
Upload config.json with huggingface_hub
db3d313 verified