ProofNet
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/zhangir-azerbayev/ProofNet
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个为本科数学中形式证明定理而设立的基准数据集，包含了正式的定理陈述。它涵盖了实分析、复分析、线性代数、抽象代数和拓扑学等主题，规模为374个示例，任务是对这些定理进行形式证明。
This dataset is a benchmark for formal theorem proving in undergraduate mathematics, containing formal theorem statements. It covers topics including real analysis, complex analysis, linear algebra, abstract algebra, topology and others, with a total of 374 instances, and the task is to conduct formal proofs for these theorems.
提供机构：
GitHub
