/ Модель
Каталог

Характеристики

Контекст
32 768 токенов
Параметры
7,6 млрд
Размер весов
16,4 ГБ
Лицензия
Своя лицензия
Архитектура
qwen3 · dense
Библиотека
transformers
Опубликована
23 сен 2026

Ссылки

Hugging Face

feedback-grpo-reasoning-sft

formalmathatepfl
Генерация текстаТекст → текст3 профессии

Дообученная модель Qwen3 на 7,6 млрд параметров для диалоговой генерации текста с обучением на данных обратной связи по рассуждениям Lean.

1 158скачиваний за 30 дней0лайковвеса обновлены23 сен 2026

Бенчмарки

Как модель справилась с задачами пользователей ailist и что о ней публикуют открытые лидерборды

Тесты пользователейпока нет

Никто ещё не опубликовал тест этой модели. Соберите бенчмарк из своих задач — результат появится здесь.

  1. Добавьте модель в бенчмарк

    Вместе с другими моделями категории «Текст» — сравнение идёт внутри одной категории.

  2. Опишите свои задачи

    Напишите запросы, при необходимости приложите файлы и эталонные ответы.

  3. Запустите и опубликуйте

    Модели ответят на каждую задачу, судья оценит ответы. Опубликованный результат появится на этой странице.

Открыть конструктор бенчмарка

Публичные оценки

Из открытых лидербордов. Сравнивайте результаты одного теста при одинаковых условиях — отсутствие оценки не значит, что модель хуже.

В подключённых источниках результатов для этой модели пока нет.

Что умеет модель

Описание составлено по карточке модели и метаданным Hugging Face

formalmathatepfl/qwen3-grpo-feedback-sft-reasoning — дообученная разработчиком formalmathatepfl модель семейства Qwen3 с плотной архитектурой Qwen3ForCausalLM и 7,6 млрд параметров. Модель предназначена для генерации текста в диалоговом формате; в качестве основы использована formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked, а дополнительное обучение выполнено на наборе lean_reasoning_sft_feedback.

Модель принимает текстовые запросы и генерирует текст, поддерживает контекст до 32 768 токенов. Лицензия обозначена как other, поэтому условия использования следует уточнить в репозитории модели.

Сценарии применения

  • генерация ответов в диалоге
  • пошаговое рассуждение по формальным математическим задачам
  • работа с задачами и обратной связью в Lean
  • продолжение текста в контекстных диалогах

Ограничения

README не содержит сведений об оценке качества и ограничениях модели. Лицензия указана как other; перед использованием необходимо проверить условия в репозитории.

Для каких профессий подходит3

Разделы каталога профессий, в задачах которых используется эта модель

Все профессии
IV.6Отраслевые задачиНаучные исследования, математика и новые материалыAI помогает формировать гипотезы, анализировать научные данные и ускорять открытие новых материалов и методов.39 задач4 120моделейIV.5Отраслевые задачиОбразование и развитие навыковAI помогает персонализировать обучение и снижать административную нагрузку на преподавателей.34 задачи6 641модельII.2Разработка и данныеСоздание и понимание программного кодаAI помогает писать, объяснять и связывать программный код с требованиями и существующей системой.20 задач21 443модели

Карточка модели

README от автора на Hugging Face, как он его опубликовал

Открыть на Hugging Face

qwen3-grpo-feedback-sft-reasoning

This model is a fine-tuned version of formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked on the lean_reasoning_sft_feedback dataset.

Model description

More information needed

Intended uses & limitations

More information needed

Training and evaluation data

More information needed

Training procedure

Training hyperparameters

The following hyperparameters were used during training:

  • learning_rate: 1e-05
  • train_batch_size: 1
  • eval_batch_size: 8
  • seed: 42
  • distributed_type: multi-GPU
  • num_devices: 8
  • total_train_batch_size: 8
  • total_eval_batch_size: 64
  • optimizer: Use OptimizerNames.ADAMW_TORCH_FUSED with betas=(0.9,0.999) and epsilon=1e-08 and optimizer_args=No additional optimizer arguments
  • lr_scheduler_type: cosine
  • lr_scheduler_warmup_ratio: 0.05
  • num_epochs: 2.0

Training results

Framework versions

  • Transformers 4.57.3
  • Pytorch 2.9.0+cu128
  • Datasets 4.0.0
  • Tokenizers 0.22.2

Как запустить

На своей GPU в ailist. Цена — по текущим предложениям провайдеров

GPU в ailist

Универсальный рантайм · transformers

Можно запустить

Подбираем GPU…

Класс архитектуры
Qwen3ForCausalLM
Ревизия весов
0a983ae

0 моделей

    Создать бенчмарк