Datasetpublic

brando/minif2f-lean4

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

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes38downloads

Dataset Card

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