Combinator Problems
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/barakeel/synthesis_datasets
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了2200个独特的组合合成问题，旨在用于训练和测试深度强化学习框架。在评估过程中，解决方案并未公开，且问题生成的难度是逐渐增加的。数据集的规模为2200个问题，其中2000个用于训练，200个用于测试，任务内容为组合合成。
This dataset contains 2200 unique combinatorial synthesis problems, specifically designed for training and testing deep reinforcement learning frameworks. During the evaluation process, the corresponding solutions are not publicly disclosed, and the difficulty of the generated problems increases progressively. The dataset totals 2200 problems in all, with 2000 allocated for model training and 200 for model testing, and the core task of the dataset is combinatorial synthesis.
提供机构：
HOL4
