本研究提出了一种复杂度注释的第一阶逻辑推理数据集，旨在提升大语言模型对复杂算法的理解能力。该数据集包含35亿个标记，促进对模型学习符号推理过程的深入研究，增强算法能力的透明性。