five

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
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作