Zenodo 发布 Streamliners Dataset 数据集, 应用在 约束满足问题、机器学习 领域

Zenodo 本次发布的数据集 Streamliners Dataset, 该数据集是一个基准集合，包含了10个为评估大型语言模型生成的简化器而生成的约束满足问题。这些问题的实例包括平衡不完全区块设计（BIBD）、汽车序列（CS）、社交高尔夫球手（SG）、船舶装载（VL）、黑洞（BH）、地毯裁剪（CC）、超图着色（HC）、披萨配料划分（PIP），以及CS和HC问题的混淆版本。该数据集规模涵盖10个问题，每个问题包含15个训练实例和至少50个测试实例。任务内容为解决约束满足问题。

查看Streamliners Dataset

关于 Zenodo , Zenodo是一个由欧洲核子研究组织（CERN）托管的研究数据共享服务。它为研究人员提供长期保存研究成果的平台，包括论文、数据集、软件和其他与科研相关的成果。用户可以免费上传和分享他们的科研数据。

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