首个面向大模型的形式化数学竞赛

面向大模型的形式化数学竞赛是一项聚焦于评估和推动大模型在形式化数学推理领域能力的创新性竞赛。

主办方中国计算机学会

奖励：￥100,000

比赛时间 2025/09/20 - 2025/12/31

提交作品 1

参赛人数 124

2025/10/20 09:39:52 data (Data can be downloaded after registration)

练习赛数据集 - MD5: 58e65f70ba0b9f881897244ba450457c

2025/10/17 17:53:38 sample program (Data can be downloaded after registration)

lean示例 - MD5: 5c5ca8e17fc08f490093d7e493e97f6c

2025/10/17 17:52:57 sample program (Data can be downloaded after registration)

litex示例 - MD5: 6fda4082dceeab1ec65073f3a072ed01