CCF大数据与计算智能大赛 面向大模型的形式化数学竞赛

面向大模型形式数学推理能力的创新竞赛，推动模型在形式化数学上的可验证推理能力。