汉密尔顿学院 发布 PSB2 数据集, 应用在 程序合成、基准测试 领域

汉密尔顿学院 本次发布的数据集 PSB2, PSB2是由汉密尔顿学院的Thomas Helmuth和Peter Kelly创建的程序合成基准数据集，包含25个难度较高的基准问题。这些问题从编程挑战、编程习题和大学课程中精选而来，旨在推动自动程序合成技术的进步，解决实际编程任务。数据集提供参考实现和数据集，方便新合成系统的实施。PSB2适用于需要多种数据类型和控制流结构解决的问题，其设计目的是为了提供足够的挑战，促进未来六年的程序合成研究。

查看PSB2

关于 汉密尔顿学院 , 汉密尔顿学院是一所位于美国纽约州的私立文理学院，成立于1793年，以其严格的学术标准和丰富的文科课程而闻名。

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