UDACA/proofnet-v2-lean4
收藏Hugging Face2025-01-31 更新2025-04-19 收录
下载链接：
https://hf-mirror.com/datasets/UDACA/proofnet-v2-lean4
下载链接
链接失效反馈官方服务：
资源简介：
ProofNet Lean4 v2数据集是ProofNet的Lean 4版本，包含验证集和测试集两个部分。该数据集在原有字段基础上新增了一个`nl_statement`字段，该字段是原始`informal_prefix`字段的清洗版。
ProofNet Lean4 v2 is a Lean 4 version of the ProofNet dataset, including validation and test splits. It adds a `nl_statement` field which is a cleaned version of the original `informal_prefix`.
提供机构：
UDACA
