腾讯 发布 DeepTheorem 数据集, 应用在 数学定理推理、自然语言处理 领域

腾讯 本次发布的数据集 DeepTheorem, DeepTheorem是一个包含12.1万条IMO级别非正式数学定理及其高质量证明的大型自然语言数据集，系统性地标注了正确性、难度、主题多样性，并包括可验证的定理变体，适合高级强化学习。数据集从多个网络语料库中挖掘，通过严格的去重和清洗过程，保证了数据的纯净性和多样性。DeepTheorem为推动大型语言模型在非正式数学定理推理方面的发展提供了宝贵的资源。

查看DeepTheorem

Dataset card 内容： 

Files and versions 内容： 

关于 腾讯 , 腾讯是中国领先的互联网科技公司，成立于1998年，总部位于深圳。腾讯提供包括社交通讯、媒体、娱乐、互联网服务等在内的多样化服务，旗下有微信、QQ等著名产品。

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