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, 2024

Upload LlamaForCausalLM

d9d658a
verified

KomeijiForce commited on May 20, 2024

initial commit

2c57415
verified

KomeijiForce commited on May 17, 2024