Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
kaiyuy
/
NLProofS
like
1
License:
mit
Model card
Files
Files and versions
xet
Community
main
NLProofS
/
prover
53.5 GB
2 contributors
History:
1 commit
kaiyuy
Upload 40 files
37b3f48
over 2 years ago
entailmentbank_task1
Upload 40 files
over 2 years ago
entailmentbank_task2
Upload 40 files
over 2 years ago
entailmentbank_task3
Upload 40 files
over 2 years ago
ruletaker
Upload 40 files
over 2 years ago
