UDACA/minif2f-lean4
收藏Hugging Face2025-01-31 更新2025-04-19 收录
下载链接：
https://hf-mirror.com/datasets/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
