KomeijiForce
/

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

Text Generation

text-generation-inference

Model card Files Files and versions

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

27 GB

2 contributors

History: 4 commits

KomeijiForce's picture

Yee172's picture

Upload inference code (#2)

8423f7a verified 4 months ago