Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
huawei-ai4math
/
Mathesis-Autoformalizer
like
0
Follow
Huawei-AI4Math
3
Safetensors
qwen2
Model card
Files
Files and versions
xet
Community
main
Mathesis-Autoformalizer
15.2 GB
1 contributor
History:
2 commits
Jianyuan1
Upload folder using huggingface_hub
f391479
verified
5 months ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
5 months ago
README.md
156 Bytes
Upload folder using huggingface_hub
5 months ago
added_tokens.json
605 Bytes
Upload folder using huggingface_hub
5 months ago
config.json
685 Bytes
Upload folder using huggingface_hub
5 months ago
generation_config.json
242 Bytes
Upload folder using huggingface_hub
5 months ago
merges.txt
1.67 MB
Upload folder using huggingface_hub
5 months ago
model-00001-of-00002.safetensors
9.98 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00002-of-00002.safetensors
5.25 GB
xet
Upload folder using huggingface_hub
5 months ago
model.safetensors.index.json
27.8 kB
Upload folder using huggingface_hub
5 months ago
special_tokens_map.json
496 Bytes
Upload folder using huggingface_hub
5 months ago
tokenizer.json
11.4 MB
xet
Upload folder using huggingface_hub
5 months ago
tokenizer_config.json
7.36 kB
Upload folder using huggingface_hub
5 months ago
vocab.json
2.78 MB
Upload folder using huggingface_hub
5 months ago
