Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
math500_formal_eval_Qwen3-8B_prover – Dataset by Ujan | AlphaNeural AI
You can deploy this model and start earning money today!
Ujan
/
math500_formal_eval_Qwen3-8B_prover
like
0
n<1K
parquet
optimized-parquet
text
datasets
pandas
polars
mlcroissant
us
Views
No views yet
Model card
Files and Versions
Community
API
No description or README available
