five

Eurus-2-RL-Data|强化学习数据集|编程竞赛数据集

收藏
huggingface2025-01-02 更新2025-01-03 收录
强化学习
编程竞赛
下载链接:
https://huggingface.co/datasets/PRIME-RL/Eurus-2-RL-Data
下载链接
链接失效反馈
资源简介:
Eurus-2-RL-Data是一个高质量的强化学习训练数据集,包含数学和编程问题,并带有结果验证器(数学问题的LaTeX答案和编程问题的测试用例)。数学问题来源于NuminaMath-CoT,涵盖从中国高中数学到国际数学奥林匹克竞赛的题目;编程问题来源于APPS、CodeContests、TACO和Codeforces,主要是编程竞赛级别的题目。数据集经过详细的清理和过滤,确保问题可解且答案正确。最终保留了455k个数学问题和27k个编程问题。
创建时间:
2024-12-31
原始信息汇总

Eurus-2-RL-Data 数据集概述

数据集简介

Eurus-2-RL-Data 是一个高质量的强化学习训练数据集,包含数学和编程问题,并提供了结果验证器(数学问题的LaTeX答案和编程问题的测试用例)。

  • 数学问题:数据来源于 NuminaMath-CoT,涵盖从中国高中数学到国际数学奥林匹克竞赛的题目。
  • 编程问题:数据来源于 APPSCodeContestsTACOCodeforces,主要为编程竞赛级别的题目。

数据预处理

为了提高数据质量,数据集进行了详细的清洗和过滤。

  • 数学问题:使用高级推理模型(如 Qwen-QwQ)过滤掉无法解决、不匹配或答案错误的问题,并将选择题转换为开放性问题。
  • 编程问题:主要过滤掉重复的问题。

最终保留了 455k 个数学问题和 27k 个编程问题。

数据集结构

数据集包含训练集和验证集,具体结构如下:

python from datasets import load_dataset

ds = load_dataset("PRIME-RL/Eurus-2-RL-Data") print(ds)

DatasetDict({

train: Dataset({

features: [id, task, source, instruction, reference],

num_rows: 482019

})

validation: Dataset({

features: [id, task, source, instruction, reference],

num_rows: 2048

})

})

数据统计

Train Validation
Math 455261 1024
Coding 26758 1024

数据示例

数学问题

json { "id": "numina_amc_aime_1931", "task": "Math", "source": "numina_amc_aime", "instruction": "Given that $\frac{2}{7}$ of the knights are red, and $\frac{1}{6}$ of the knights are magical, and that the fraction of red knights who are magical is $2$ times the fraction of blue knights who are magical, find the fraction of red knights who are magical.

Present the answer in LaTex format: \boxed{Your answer}", "reference": "\frac{7}{27}" }

编程问题

json { "id": "codecontests_0", "task": "Coding", "source": "codecontests", "instruction": "You are given undirected weighted graph. Find the length of the shortest cycle which starts from the vertex 1 and passes throught all the edges at least once. Graph may contain multiply edges between a pair of vertices and loops (edges from the vertex to itself).

Input

The first line of the input contains two integers n and m (1 ≤ n ≤ 15, 0 ≤ m ≤ 2000), n is the amount of vertices, and m is the amount of edges. Following m lines contain edges as a triples x, y, w (1 ≤ x, y ≤ n, 1 ≤ w ≤ 10000), x, y are edge endpoints, and w is the edge length.

Output

Output minimal cycle length or -1 if it doesnt exists.

Examples

Input

3 3 1 2 1 2 3 1 3 1 1

Output

3

Input

3 2 1 2 3 2 3 4

Output

14

Write Python code to solve the problem. Present the code in python Your code

at the end.", "reference": "{"inputs": ["3 3\n1 2 1\n2 3 1\n3 1 1\n", "3 2\n1 2 3\n2 3 4\n", "2 10\n1 2 9\n1 2 9\n2 1 9\n1 2 8\n2 1 9\n1 2 9\n1 2 9\n1 2 11\n1 2 9\n1 2 9\n", "4 4\n1 3 1953\n3 2 2844\n1 3 2377\n3 2 2037\n", "2 1\n2 2 44\n", "4 8\n1 2 4824\n3 1 436\n2 2 3087\n2 4 2955\n2 4 2676\n4 3 2971\n3 4 3185\n3 1 3671\n", "15 14\n1 2 1\n2 3 1\n2 4 1\n3 5 1\n3 6 1\n4 7 1\n4 8 1\n5 9 1\n5 10 1\n6 11 1\n6 12 1\n7 13 1\n7 14 1\n8 15 1\n", "15 0\n", "3 1\n3 2 6145\n", "15 4\n1 5 5531\n9 15 3860\n8 4 6664\n13 3 4320\n", "7 3\n4 4 1\n7 7 1\n2 2 1\n", "2 8\n1 2 4618\n1 1 6418\n2 2 2815\n1 1 4077\n2 1 4239\n1 2 5359\n1 2 3971\n1 2 7842\n", "4 2\n1 2 1\n3 4 1\n", "6 2\n5 3 5039\n2 3 4246\n", "2 1\n2 2 5741\n", "4 2\n3 2 6816\n1 3 7161\n", "15 1\n7 5 7838\n", "6 4\n5 4 6847\n3 6 7391\n1 6 7279\n2 5 7250\n", "15 2\n5 13 9193\n14 5 9909\n", "5 2\n2 2 2515\n2 4 3120\n", "3 3\n1 2 1\n2 3 1\n3 2 1\n", "3 1\n3 2 6389\n", "10 3\n4 4 1\n7 7 1\n2 2 0\n", "6 2\n5 5 5039\n1 3 4246\n", "15 1\n9 9 7838\n", "6 4\n5 4 6847\n3 6 7391\n1 3 2446\n2 5 7250\n", "1 2\n1 1 1\n1 1 3\n", "6 0\n", "3 1\n3 3 9184\n", "10 3\n4 4 0\n7 7 1\n2 2 0\n", "6 2\n5 5 5039\n1 3 7812\n", "15 1\n3 9 7838\n", "4 4\n1 3 1953\n4 4 2844\n2 3 4041\n3 2 2037\n"], "outputs": ["3\n", "14\n", "91\n", "9211\n", "-1\n", "28629\n", "28\n", "0\n", "-1\n", "-1\n", "-1\n", "43310\n", "-1\n", "-1\n", "-1\n", "27954\n", "-1\n", "-1\n", "73199\n", "44\n", "3\n", "-1\n", "8\n", "0\n", "-1\n", "-1\n", "-1\n", "3059\n", "7042\n", "-1\n", "0\n", "22019\n", "69034\n", "6\n", "9683\n", "14464\n", "-1\n", "6222\n", "95162\n", "35262\n", "0\n", "-1\n", "90\n", "3669\n", "315043\n", "9\n", "41\n", "10875\n", "26917\n", "28\n", "-1\n", "46065\n", "4\n", "11482\n", "27874\n", "5\n", "2957\n", "7043\n", "69034\n", "9547\n", "12136\n", "0\n", "87\n", "307170\n", "35\n", "7\n", "14865\n", "27196\n", "44599\n", "7039\n", "8481\n", "11646\n", "80\n", "316201\n", "9\n", "15672\n", "26868\n", "7029\n", "10119\n", "85\n", "24495\n", "-1\n", "-1\n", "-1\n", "-1\n", "-1\n", "-1\n", "4\n", "-1\n", "-1\n", "-1\n", "-1\n", "-1\n", "4\n", "0\n", "-1\n", "-1\n", "-1\n", "-1\n", "-1\n"]}" }

引用

latex @misc{cui2024process, title={Process Reinforcement through Implicit Rewards}, author={Ganqu Cui and Lifan Yuan and Zefan Wang and Hanbin Wang and Wendi Li and Bingxiang He and Yuchen Fan and Tianyu Yu and Qixin Xu and Weize Chen and Jiarui Yuan and Huayu Chen and Kaiyan Zhang and Xingtai Lv and Shuo Wang and Yuan Yao and Hao Peng and Yu Cheng and Zhiyuan Liu and Maosong Sun and Bowen Zhou and Ning Ding}, year={2025} }

latex @article{yuan2024implicitprm, title={Free Process Rewards without Process Labels}, author={Lifan Yuan and Wendi Li and Huayu Chen and Ganqu Cui and Ning Ding and Kaiyan Zhang and Bowen Zhou and Zhiyuan Liu and Hao Peng}, journal={arXiv preprint arXiv:2412.01981}, year={2024} }

AI搜集汇总
数据集介绍
main_image_url
构建方式
Eurus-2-RL-Data数据集的构建过程体现了高度的专业性和严谨性。该数据集主要从NuminaMath-CoT、APPS、CodeContests、TACO和Codeforces等高质量数据源中筛选数学和编程问题。针对数学问题,采用了先进的推理模型如Qwen-QwQ进行过滤,确保问题的可解性和答案的准确性,并将选择题转化为开放式问题。编程问题则通过去重等步骤进行清理。最终,数据集保留了45.5万道数学问题和2.7万道编程问题,确保了数据的多样性和高质量。
特点
Eurus-2-RL-Data数据集的特点在于其广泛覆盖了从中国高中数学到国际数学奥林匹克竞赛的数学问题,以及编程竞赛级别的编程问题。每个问题都配备了详细的验证机制,数学问题的答案以LaTeX格式呈现,编程问题则通过测试用例进行验证。数据集经过严格的清洗和过滤,确保了问题的可解性和答案的准确性,使其成为强化学习训练的理想选择。
使用方法
使用Eurus-2-RL-Data数据集时,可以通过Hugging Face的`datasets`库轻松加载。数据集分为训练集和验证集,分别包含48.2万和2048个样本。每个样本包含`id`、`task`、`source`、`instruction`和`reference`等字段,便于用户根据任务需求进行定制化处理。加载后,用户可以直接访问数据集中的数学和编程问题,进行模型训练和验证,提升模型在复杂问题求解中的表现。
背景与挑战
背景概述
Eurus-2-RL-Data数据集由PRIME-RL团队于2024年发布,旨在为数学和编程领域的强化学习提供高质量的训练数据。该数据集整合了多个来源的数学和编程问题,包括NuminaMath-CoT、APPS、CodeContests、TACO和Codeforces等。数学问题涵盖了中国高中数学到国际数学奥林匹克竞赛的题目,而编程问题则主要来自编程竞赛。通过使用先进的推理模型如Qwen-QwQ进行数据清洗和过滤,数据集最终保留了45.5万道数学题和2.7万道编程题。该数据集的发布为强化学习在复杂问题求解中的应用提供了重要支持,推动了数学和编程领域的自动化求解技术的发展。
当前挑战
Eurus-2-RL-Data数据集在构建过程中面临多重挑战。首先,数学和编程问题的多样性和复杂性使得数据清洗和过滤变得尤为困难,尤其是如何确保问题的可解性和答案的正确性。其次,将选择题转换为开放式问题的过程中,如何保持问题的原意和数学严谨性是一个技术难题。此外,数据验证阶段需要依赖先进的推理模型进行多次独立验证,以确保问题的可解性和答案的一致性,这一过程不仅耗时,且对计算资源要求较高。最后,数据集的规模和质量之间的平衡也是一个持续的挑战,如何在保留大量数据的同时确保每道题目的高质量,是数据集构建中的核心问题。
常用场景
经典使用场景
Eurus-2-RL-Data数据集在强化学习领域中被广泛应用于数学和编程问题的训练与验证。该数据集通过高质量的数学问题和编程竞赛题目,为模型提供了丰富的训练素材。数学问题涵盖从中国高中数学到国际数学奥林匹克竞赛的题目,编程问题则主要来自APPS、CodeContests等编程竞赛平台。通过详细的清洗和过滤,确保了数据的高质量,使得模型能够在复杂的数学推理和编程任务中表现出色。
解决学术问题
Eurus-2-RL-Data数据集解决了强化学习领域中数学和编程任务的高质量数据稀缺问题。通过引入高级推理模型进行问题过滤和验证,确保了问题的可解性和答案的正确性。该数据集为研究人员提供了一个标准化的训练和测试平台,推动了数学推理和编程自动化领域的研究进展,尤其是在复杂问题求解和答案验证方面的突破。
衍生相关工作
Eurus-2-RL-Data数据集衍生了一系列经典的研究工作,特别是在强化学习和自动化推理领域。基于该数据集的研究成果包括《Process Reinforcement through Implicit Rewards》和《Free Process Rewards without Process Labels》等论文,这些工作进一步推动了数学推理和编程自动化技术的发展,并为后续研究提供了重要的理论基础和实践参考。
以上内容由AI搜集并总结生成
用户留言
有没有相关的论文或文献参考?
这个数据集是基于什么背景创建的?
数据集的作者是谁?
能帮我联系到这个数据集的作者吗?
这个数据集如何下载?
点击留言
数据主题
具身智能
数据集  4098个
机构  8个
大模型
数据集  439个
机构  10个
无人机
数据集  37个
机构  6个
指令微调
数据集  36个
机构  6个
蛋白质结构
数据集  50个
机构  8个
空间智能
数据集  21个
机构  5个
5,000+
优质数据集
54 个
任务类型
进入经典数据集
热门数据集

VoxBox

VoxBox是一个大规模语音语料库,由多样化的开源数据集构建而成,用于训练文本到语音(TTS)系统。

github 收录

Materials Project

材料项目是一组标有不同属性的化合物。数据集链接: MP 2018.6.1(69,239 个材料) MP 2019.4.1(133,420 个材料)

OpenDataLab 收录

CAMUS_public-ImageMask-Dataset

这是一个用于图像分割的CAMUS_public(心脏多结构超声分割采集)数据集。该数据集包含来自500名患者的临床检查,这些检查在法国圣艾蒂安大学医院进行,并根据当地伦理委员会的规定进行了完全匿名化处理。数据集旨在执行左心室射血分数测量,并反映了临床实践中的数据多样性,包括图像质量和病理情况的广泛变异。数据集分为训练集(450名患者)和测试集(50名新患者),原始输入图像以raw/mhd文件格式提供。

github 收录

猫狗图像数据集

该数据集包含猫和狗的图像,每类各12500张。训练集和测试集分别包含10000张和2500张图像,用于模型的训练和评估。

github 收录

Tropicos

Tropicos是一个全球植物名称数据库,包含超过130万种植物的名称、分类信息、分布数据、图像和参考文献。该数据库由密苏里植物园维护,旨在为植物学家、生态学家和相关领域的研究人员提供全面的植物信息。

www.tropicos.org 收录