北京航空航天大学 发布 ProverQA 数据集, 应用在 逻辑推理、人工智能 领域

北京航空航天大学 本次发布的数据集 ProverQA, ProverQA是一个由大型语言模型和符号证明器共同生成的 first-order logic (FOL) 推理数据集，包含1500个实例，分为简单、中等和困难三个难度级别。该数据集通过结合大型语言模型的生成能力和符号证明器的精确性，创建了可扩展、多样化、高质量的数据集，特点是每个问题都包含可访问的、逻辑上一致的中间推理步骤。数据集旨在解决逻辑推理能力评估的问题，特别是针对链式思维（CoT）场景。

查看ProverQA

README 内容： 

关于 北京航空航天大学 , 北京航空航天大学（Beihang University）成立于1952年，是中国第一所航空类高等教育机构，也是一所具有工、理、管、文、法、经、教育、艺术等多学科的研究型大学，在航空、航天和材料科学等领域具有较高的国际声誉。

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