GENESYS Test Programs
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/srom/cma-es
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了600个随机生成的程序，这些程序的长度在5到10之间不等，旨在评估GENESYS系统的合成能力。每个程序都附有5个输入输出示例以供规范说明。该数据集被用于评估不同的合成策略和配置。规模达到了600个程序，任务专注于程序合成。
This dataset comprises 600 randomly generated programs with lengths ranging from 5 to 10, which is designed to evaluate the synthesis capabilities of the GENESYS system. Each program is accompanied by 5 input-output examples for formal specification. This dataset is utilized to assess various synthesis strategies and configurations, focusing on program synthesis tasks.
提供机构：
GENESYS
