Venkatdatta
/

fol-slm

first-order-logic

logical-reasoning

text-generation

natural-language-inference

symbolic-reasoning

Model card Files Files and versions

840 MB

Ctrl+K

Ctrl+K

1 contributor

History: 10 commits

Venkatdatta's picture

Update programmatic usage example premises

3b49406 verified 16 days ago

.gitattributes

1.52 kB
initial commit 17 days ago
README.md

6.18 kB
Update programmatic usage example premises 16 days ago
checkpoint_final.pt
Detected Pickle imports (3)
- "torch._utils._rebuild_tensor_v2",
- "torch.FloatStorage",
- "collections.OrderedDict"
What is a pickle import?
840 MB
xet

Upload checkpoint_final.pt with huggingface_hub 17 days ago