Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
proofwikips – Dataset by hcju | AlphaNeural AI
You can deploy this model and start earning money today!
hcju
/
proofwikips
like
0
text-retrieval
document-retrieval
monolingual
proofwiki
en
cc-by-sa-4.0
10K<n<100K
json
text
datasets
pandas
mlcroissant
polars
us
text-retrieval
Views
No views yet
Model card
Files and Versions
Community
API
ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset
Sourced from NaturalProofs
https://zenodo.org/records/4902289
