UDACA/minif2f-lean4
收藏官方服务：
资源简介：
MiniF2F Lean4数据集为Lean4语言适配的MiniF2F数据集，包含验证集和测试集两个部分。数据集包含的字段有：唯一标识符id、数据集划分split、形式化陈述formal_statement、标题header、自然语言陈述nl_statement和自然语言证明nl_proof。
The MiniF2F Lean4 dataset is adapted for the Lean4 language, including two parts: validation set and test set. The fields in the dataset include: unique identifier id, dataset split split, formal statement formal_statement, title header, natural language statement nl_statement, and natural language proof nl_proof.
提供机构：
UDACA
