PSB2

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

PSB2 is a program synthesis benchmark dataset developed by Thomas Helmuth and Peter Kelly from Hamilton College, encompassing 25 high-difficulty benchmark problems. These problems are curated from programming challenges, programming exercises and university courses, aiming to advance automatic program synthesis technology and address real-world programming tasks. The dataset provides reference implementations and accompanying datasets to facilitate the implementation of new program synthesis systems. PSB2 is tailored for problems requiring multiple data types and control flow structures, and it is designed to offer sufficient challenges to promote program synthesis research over the next six years.