FrenzyMath/Herald_proofs
收藏Hugging Face2025-05-13 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/FrenzyMath/Herald_proofs
下载链接
链接失效反馈官方服务：
资源简介：
Herald数据集的证明部分，包含45k个自然语言形式化证明，数据集字段包括索引、名称、形式化定理、非形式化定理、形式化证明、非形式化证明、带注释的证明和表头信息。
The proof part of the Herald dataset, containing 45k formalized natural language proofs, with dataset fields including index, name, formal theorem, informal theorem, formal proof, informal proof, annotated proof, and header information.
提供机构：
FrenzyMath
