Hugging Face's logo

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

Text Generation
Transformers
PyTorch
llama
text-generation-inference
Inference Endpoints
Model card Files Community
llama-2-7b-propositional-logic-prover / pytorch_model-00002-of-00003.bin

Commit History

Upload LlamaForCausalLM
d9d658a
verified

KomeijiForce commited on