KomeijiForce/llama-2-7b-propositional-logic-prover download history

KomeijiForce/llama-2-7b-propositional-logic-prover is a text generation model by KomeijiForce. In the last 30 days it was downloaded 25 times (3 in the last 7 days), and 255 times in total.

It ranks #351,180 on the Hub by monthly downloads and #100,080 among text generation models.

It has 0 likes.

Open KomeijiForce/llama-2-7b-propositional-logic-prover on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.