CategoryTheory
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/jwiegley/category-theory
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是从CategoryTheory仓库中提取的证明步骤数据，被保留用于进一步的微调。此外，该数据集还用于在新领域适应实验中进行微调。其任务是预测证明步骤。
This dataset contains proof step data extracted from the CategoryTheory repository, and is reserved for further fine-tuning. Additionally, it is also utilized for fine-tuning in domain adaptation experiments targeting new domains. Its assigned task is to predict proof steps.
提供机构：
CategoryTheory
