CategoryTheory

该数据集是从CategoryTheory仓库中提取的证明步骤数据，被保留用于进一步的微调。此外，该数据集还用于在新领域适应实验中进行微调。其任务是预测证明步骤。