Датасет · SynthLabsAI
250 тыс. проверенных задач по математике
SynthLabsAI/Big-Math-RL-Verified
Крупный набор математических задач, отфильтрованных для RL-обучения языковых моделей.
Что внутри
Big-Math — открытый датасет математических задач, собранных для reinforcement learning в языковых моделях. В карточке заявлено более 250 тыс. строго отфильтрованных и проверенных задач; язык — английский. Данные предназначены для задач question-answering и text-generation.
Что можно сделать
- RL-обучение математических reasoning-моделей
- SFT и проверка решателей задач
- Бенчмарк для LLM на математике
- Задачи
- Вопрос-ответ, Генерация текста
- Языки
- Английский
- Размер
- 100K–1M записей
- Скачиваний за месяц
- 5,1 тыс.
- Лайков
- 246
- Доступ
- по запросу на Hugging Face
Модели, обученные на нём
- mradermacher/TutorRL-7B-i1-GGUF 1,6 тыс.
- mradermacher/TutorRL-7B-think-i1-GGUF 1,2 тыс.
- eth-nlped/TutorRL-7BГенерация текста 1,1 тыс.
- mradermacher/TutorRL-7B-GGUF 871
- mradermacher/TutorRL-7B-think-GGUF 725
- mradermacher/Raptor-X2-GGUF 574
- viai957/nano-mistral-o1-grpo-stageb-step48Генерация текста 377
- amd/Instella-3B-MathГенерация текста 139
Как загрузить
from datasets import load_dataset
ds = load_dataset("SynthLabsAI/Big-Math-RL-Verified")