Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

huawei-ai4math
/
Mathesis-Autoformalizer

Safetensors
qwen2
Model card Files Files and versions
xet
Community
Mathesis-Autoformalizer
1.52 kB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 1 commit
Jianyuan1's picture
Jianyuan1
initial commit
09b6ff8 verified 10 months ago
  • .gitattributes
    1.52 kB
    initial commit 10 months ago