NaturalProofs
收藏arXiv2025-09-30 收录
官方服务：
资源简介：
该数据集涵盖了正式数学和非正式数学的内容，它被用于训练定理证明的模型。具体任务是对定理进行证明。
This dataset encompasses content from both formal and informal mathematics, and is utilized for training theorem-proving models, with its specific task being the proof of mathematical theorems.
