Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
xl-zhao
/
formal_proof_generator_v3_iter3
like
1
Safetensors
English
llama
arxiv:
2408.11172
License:
llama3
Model card
Files
Files and versions
Community
main
formal_proof_generator_v3_iter3
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
xl-zhao
Create README.md
0adcedb
verified
about 1 year ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 year ago
README.md
Safe
3.71 kB
Create README.md
about 1 year ago
config.json
Safe
796 Bytes
Add model and config files
about 1 year ago
generation_config.json
Safe
161 Bytes
Add model and config files
about 1 year ago
model-00001-of-00007.safetensors
Safe
4.89 GB
LFS
Add model and config files
about 1 year ago
model-00002-of-00007.safetensors
Safe
4.83 GB
LFS
Add model and config files
about 1 year ago
model-00003-of-00007.safetensors
Safe
5 GB
LFS
Add model and config files
about 1 year ago
model-00004-of-00007.safetensors
Safe
5 GB
LFS
Add model and config files
about 1 year ago
model-00005-of-00007.safetensors
Safe
4.83 GB
LFS
Add model and config files
about 1 year ago
model-00006-of-00007.safetensors
Safe
5 GB
LFS
Add model and config files
about 1 year ago
model-00007-of-00007.safetensors
Safe
2.57 GB
LFS
Add model and config files
about 1 year ago
model.safetensors.index.json
Safe
24 kB
Add model and config files
about 1 year ago
special_tokens_map.json
Safe
301 Bytes
Add model and config files
about 1 year ago
tokenizer.json
Safe
9.08 MB
Add model and config files
about 1 year ago
tokenizer_config.json
Safe
50.6 kB
Add model and config files
about 1 year ago
