Beta
Explore
Marketplace
Neural Labs
Playground
Wallet
Docs
lean_mathlib_rag – Dataset by pkuAI4M | AlphaNeural AI
You can deploy this model and start earning money today!
pkuAI4M
/
lean_mathlib_rag
like
0
10K<n<100K
parquet
text
datasets
pandas
mlcroissant
polars
us
Views
No views yet
Model card
Files and Versions
Community
API
No description or README available
