Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
SJTULean
/
LeanFormalizer_CoT
like
0
Follow
SJTULean
11
Safetensors
SJTULean/LeanStatement_CoT
English
qwen2
License:
apache-2.0
Model card
Files
Files and versions
Community
a5f15c0
LeanFormalizer_CoT
2 contributors
History:
11 commits
wxz123
Upload special_tokens_map.json with huggingface_hub
a5f15c0
verified
about 2 months ago
.gitattributes
Safe
1.57 kB
Upload tokenizer.json with huggingface_hub
about 2 months ago
README.md
Safe
120 Bytes
Update README.md
about 2 months ago
config.json
Safe
774 Bytes
Upload config.json with huggingface_hub
about 2 months ago
model-00001-of-00004.safetensors
Safe
4.88 GB
LFS
Upload model-00001-of-00004.safetensors with huggingface_hub
about 2 months ago
model-00002-of-00004.safetensors
Safe
4.93 GB
LFS
Upload model-00002-of-00004.safetensors with huggingface_hub
about 2 months ago
model-00003-of-00004.safetensors
Safe
4.33 GB
LFS
Upload model-00003-of-00004.safetensors with huggingface_hub
about 2 months ago
model-00004-of-00004.safetensors
Safe
1.09 GB
LFS
Upload model-00004-of-00004.safetensors with huggingface_hub
about 2 months ago
model.safetensors.index.json
Safe
27.8 kB
Upload model.safetensors.index.json with huggingface_hub
about 2 months ago
special_tokens_map.json
Safe
613 Bytes
Upload special_tokens_map.json with huggingface_hub
about 2 months ago
tokenizer.json
Safe
11.4 MB
LFS
Upload tokenizer.json with huggingface_hub
about 2 months ago
tokenizer_config.json
Safe
7.33 kB
Upload tokenizer_config.json with huggingface_hub
about 2 months ago
