KomeijiForce
/

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

Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

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

Commit History

Upload tokenizer

b1123de
verified

KomeijiForce commited on May 20

Upload LlamaForCausalLM

d9d658a
verified

KomeijiForce commited on May 20

initial commit

2c57415
verified

KomeijiForce commited on May 17