腾讯 发布 HUNYUANPROVER数据集 数据集, 应用在 自动定理证明、数学推理 领域

腾讯 本次发布的数据集 HUNYUANPROVER数据集, HUNYUANPROVER数据集由腾讯混元团队创建，旨在解决自动定理证明中的数据稀疏问题。该数据集包含3万条合成实例，每条实例包括自然语言中的原始问题、通过自动形式化转换的陈述以及由HunyuanProver生成的证明。数据集通过开源数学问题和自然语言数学问题生成，经过多次迭代优化，最终用于训练和改进自动定理证明模型。该数据集的应用领域主要集中在自动定理证明，旨在提升模型在复杂数学问题上的推理和证明能力。

查看HUNYUANPROVER数据集

关于 腾讯 , 腾讯是一家全球领先的互联网科技公司，成立于1998年，总部位于中国深圳。公司提供多种互联网增值服务、网络广告服务以及电子商务交易服务，旗下拥有微信、QQ等多个知名产品。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。