维也纳工业大学 发布 Automated Reasoning Synthesis Benchmarks 数据集, 应用在 自动推理、逻辑合成 领域

维也纳工业大学 本次发布的数据集 Automated Reasoning Synthesis Benchmarks, 本数据集是由维也纳工业大学等研究机构的研究人员创建的，旨在为自动推理的合成问题提供标准基准集。数据集包含290个基准问题，其中180个是非递归问题，110个是关于代数数据类型的递归问题。数据集采用了SMT-LIB和SyGuS两种格式，支持不可计算符号的限制，并提供了辅助引理来帮助证明解决方案的存在性。数据集适用于评估自动推理工具在第一阶逻辑中的证明和合成能力，包括对理论和归纳的推理。

查看Automated Reasoning Synthesis Benchmarks

关于 维也纳工业大学 , 维也纳工业大学（Vienna University of Technology）是奥地利最古老和最著名的科技大学之一，位于奥地利首都维也纳。该校成立于1815年，拥有多个学院和研究领域，包括工程技术、自然科学和建筑学等。

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