five

Combinator Problems

收藏
arXiv2025-09-30 收录
下载链接:
https://github.com/barakeel/synthesis_datasets
下载链接
链接失效反馈
官方服务:
资源简介:
该数据集包含了2200个独特的组合合成问题,旨在用于训练和测试深度强化学习框架。在评估过程中,解决方案并未公开,且问题生成的难度是逐渐增加的。数据集的规模为2200个问题,其中2000个用于训练,200个用于测试,任务内容为组合合成。
提供机构:
HOL4
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作