Датасет · MiniMaxAI
Синтетические логические задачи с автопроверкой
MiniMaxAI/SynLogic
35 типов логических задач с автоматической проверкой ответов для RL с верифицируемыми наградами.
Что внутри
SynLogic — синтетический датасет для развития логического рассуждения LLM через reinforcement learning with verifiable rewards. Внутри 35 различных логических задач с автоматической проверкой. Языки — английский и китайский, размер — от 10K до 100K примеров.
Что можно сделать
- RLVR-обучение LLM логическому рассуждению
- Оценка и сравнение reasoning-моделей на 35 типах задач
- SFT/LoRA для модели, решающей логические задачи с проверяемым ответом
- Задачи
- Генерация текста
- Языки
- Английский, Китайский
- Размер
- 10K–100K записей
- Скачиваний за месяц
- 1,4 тыс.
- Лайков
- 109
Модели, обученные на нём
- MiniMaxAI/SynLogic-7BГенерация текста 1,7 тыс.
- MiniMaxAI/SynLogic-32BГенерация текста 892
- mradermacher/SynLogic-7B-GGUF 803
- Jonjew/NSFWMasterТекст → картинка 800
- mradermacher/SynLogic-32B-i1-GGUF 675
- mradermacher/SynLogic-Mix-3-32B-GGUF 626
- mradermacher/SynLogic-Mix-3-32B-i1-GGUF 614
- mradermacher/SynLogic-32B-GGUF 445
Как загрузить
from datasets import load_dataset
ds = load_dataset("MiniMaxAI/SynLogic")