FrenzyMath/Herald_statements
收藏Hugging Face2025-05-13 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/FrenzyMath/Herald_statements
下载链接
链接失效反馈官方服务：
资源简介：
Herald数据集是自然语言注释的Lean 4数据集的一部分，包含了58万对非正式声明和正式声明的配对。
This is the statement part of the Herald dataset, which consists of 580k NL-FL statement pairs.
提供机构：
FrenzyMath
