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 / README.md

KomeijiForce's picture

initial commit

2c57415 verified 5 months ago

|

24 Bytes

metadata

license: mit