KomeijiForce
/

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

Text Generation

text-generation-inference

Model card Files Files and versions

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

Commit History

Upload inference code (#2)

8423f7a
verified

Yee172 commited on Sep 11

Upload tokenizer

b1123de
verified

KomeijiForce commited on May 20, 2024

Upload LlamaForCausalLM

d9d658a
verified

KomeijiForce commited on May 20, 2024

initial commit

2c57415
verified

KomeijiForce commited on May 17, 2024