PSB2

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