m-a-p/FineLeanCorpus
收藏Hugging Face2025-07-28 更新2025-08-09 收录
下载链接：
https://hf-mirror.com/datasets/m-a-p/FineLeanCorpus
下载链接
链接失效反馈官方服务：
资源简介：
FineLeanCorpus是一个包含509,356条数学语句及其在Lean 4中的形式化表示的大规模、高质量数据集。该数据集覆盖了多个数学领域和难度级别，旨在促进数学自动形式化的研究。
FineLeanCorpus is a large-scale, high-quality dataset containing 509,356 entries of natural language mathematical statements and their formalizations in Lean 4. The dataset covers multiple mathematical domains and difficulty levels, designed to advance research in mathematical autoformalization.
提供机构：
m-a-p
