HOL4 发布 Combinator Problems 数据集, 应用在 强化学习、组合问题 领域

HOL4 本次发布的数据集 Combinator Problems, 该数据集包含了2200个独特的组合合成问题，旨在用于训练和测试深度强化学习框架。在评估过程中，解决方案并未公开，且问题生成的难度是逐渐增加的。数据集的规模为2200个问题，其中2000个用于训练，200个用于测试，任务内容为组合合成。

查看Combinator Problems

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。