Beta
Explore
Marketplace
Neural Labs
Playground
Wallet
Docs
leanps – Dataset by hcju | AlphaNeural AI
You can deploy this model and start earning money today!
hcju
/
leanps
like
0
text-retrieval
document-retrieval
monolingual
lenandojo
en
mit
100K<n<1M
json
text
datasets
pandas
mlcroissant
polars
us
text-retrieval
Views
No views yet
Model card
Files and Versions
Community
API
Lean Premise Selection Dataset
LeanDojo (
https://zenodo.org/doi/10.5281/zenodo.8040109
) premise selection dataset
