Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
KomeijiForce
/
llama-2-7b-propositional-logic-prover
like
0
Text Generation
Transformers
PyTorch
llama
text-generation-inference
License:
mit
Model card
Files
Files and versions
xet
Community
2
Train
Deploy
Use this model
main
llama-2-7b-propositional-logic-prover
27 GB
2 contributors
History:
4 commits
KomeijiForce
Yee172
Upload inference code (
#2
)
8423f7a
verified
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
over 1 year ago
DFS_search_with_concurrent.py
Safe
29.5 kB
Upload inference code (#2)
about 2 months ago
README.md
Safe
24 Bytes
initial commit
over 1 year ago
added_tokens.json
Safe
42 Bytes
Upload tokenizer
over 1 year ago
config.json
Safe
710 Bytes
Upload LlamaForCausalLM
over 1 year ago
generation_config.json
183 Bytes
Upload LlamaForCausalLM
over 1 year ago
pytorch_model-00001-of-00003.bin
9.88 GB
xet
Upload LlamaForCausalLM
over 1 year ago
pytorch_model-00002-of-00003.bin
9.89 GB
xet
Upload LlamaForCausalLM
over 1 year ago
pytorch_model-00003-of-00003.bin
pickle
Detected Pickle imports (3)
"torch.FloatStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
7.18 GB
xet
Upload LlamaForCausalLM
over 1 year ago
pytorch_model.bin.index.json
24 kB
Upload LlamaForCausalLM
over 1 year ago
special_tokens_map.json
Safe
169 Bytes
Upload tokenizer
over 1 year ago
tokenizer.model
Safe
500 kB
xet
Upload tokenizer
over 1 year ago
tokenizer_config.json
Safe
1.03 kB
Upload tokenizer
over 1 year ago