UDACA/proofnet-v3-lean4
收藏Hugging Face2025-01-31 更新2025-04-19 收录
下载链接：
https://hf-mirror.com/datasets/UDACA/proofnet-v3-lean4
下载链接
链接失效反馈官方服务：
资源简介：
ProofNet Lean4 v3数据集是在proofnet-v2-lean4的基础上构建的，专门针对Lean 4的语法和解析进行了优化，移除了所有导致错误的条目，并且新增了一个去除导入Mathlib语句的字段。数据集包含验证集和测试集两部分。
ProofNet Lean4 v3 dataset is built upon proofnet-v2-lean4, optimized for Lean 4 syntax and parsing by removing entries that cause errors, and introduces a new field to remove the import Mathlib statement. It includes both validation and test sets.
提供机构：
UDACA
