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

  • Log In
  • Sign Up

KomeijiForce
/
llama-2-7b-propositional-logic-prover

Text Generation
Transformers
PyTorch
llama
text-generation-inference
Model card Files Files and versions
xet
Community
2
llama-2-7b-propositional-logic-prover
27 GB
  • 2 contributors
History: 4 commits
KomeijiForce's picture
KomeijiForce
Yee172's picture
Yee172
Upload inference code (#2)
8423f7a verified about 2 months ago
  • .gitattributes
    1.52 kB
    initial commit over 1 year ago
  • DFS_search_with_concurrent.py
    29.5 kB
    Upload inference code (#2) about 2 months ago
  • README.md
    24 Bytes
    initial commit over 1 year ago
  • added_tokens.json
    42 Bytes
    Upload tokenizer over 1 year ago
  • config.json
    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

    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
    169 Bytes
    Upload tokenizer over 1 year ago
  • tokenizer.model
    500 kB
    xet
    Upload tokenizer over 1 year ago
  • tokenizer_config.json
    1.03 kB
    Upload tokenizer over 1 year ago