Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
minif2f-lean4 – Dataset by UDACA | AlphaNeural AI
You can deploy this model and start earning money today!
UDACA
/
minif2f-lean4
like
0
n<1K
parquet
text
datasets
pandas
mlcroissant
polars
us
Views
No views yet
Model card
Files and Versions
Community
API
MiniF2F Lean4
This dataset provides two splits (validation and test) of the MiniF2F dataset adapted for Lean4. It includes fields such as:
id split formal_statement header nl_statement nl_proof
