Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
KomeijiForce
/
llama-2-7b-propositional-logic-prover
like
0
Text Generation
Transformers
PyTorch
llama
text-generation-inference
License:
mit
Model card
Files
Files and versions
xet
Community
2
Deploy
Use this model
Upload inference code
#2
by
Yee172
- opened
Sep 10, 2025
base:
refs/heads/main
←
from:
refs/pr/2
Discussion
Files changed
+571
-0
Yee172
Sep 10, 2025
No description provided.
Upload inference code
e179c89a
KomeijiForce
Owner
Sep 10, 2025
nce
Yee172
Sep 11, 2025
Could you please merge this into the main branch?
See translation
KomeijiForce
changed pull request status to
merged
Sep 11, 2025
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Comment
·
Sign up
or
log in
to comment
