Hugging Face model: KomeijiForce/llama-2-7b-propositional-logic-prover
Author: KomeijiForce
Created: 2024-05-17 04:42:16
Last modified: 2025-09-11 23:24:11
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 7
Tags: transformers, pytorch, llama, text-generation, license:mit, text-generation-inference, endpoints_compatible, region:us
Card metadata:
license: mit