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

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

Контекст
40 960 токенов
Параметры
29,7 млрд
Размер весов
65,5 ГБ
Лицензия
Apache 2.0
Архитектура
qwen3 · dense
Базовая модель
awakening-goedel-v2-32b-rl
Библиотека
transformers
Опубликована
10 авг 2026

Ссылки

Hugging Face

awakening-rl-replay100

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

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

15скачиваний за 30 дней0лайковвеса обновлены10 авг 2026

Бенчмарки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

awakening-rl-replay100 — экспериментальный чекпойнт на базе awakening-goedel-v2-32b-rl, дообученный автором для восстановления использования инструментов в задачах формального математического доказательства. Модель представляет собой плотную авторегрессионную Qwen3 с 29,7 млрд параметров и контекстом до 40 960 токенов; репозиторий содержит веса в формате safetensors и рассчитан на работу через Transformers.

Модель предназначена для генерации текста в диалоговом режиме, включая агентные сценарии с вызовом инструментов и доказательства на Lean 4. В описанном эксперименте её дообучили на 100 Lean-трассах с акцентом на поведение агента; README сообщает результат 85,8 на BFCL Non-Live и связывает его с восстановлением использования инструментов после предшествующего дообучения. Лицензия — Apache-2.0.

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

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

Ограничения

Это экспериментальный чекпойнт, обученный на ограниченном наборе из 100 Lean-трасс; заявленный результат относится к BFCL Non-Live и сам по себе не подтверждает качество на других задачах или бенчмарках.

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

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

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

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

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

Открыть на Hugging Face

awakening-rl-replay100

The RL-base "+100 agentic replay" arm of "Minimal Agentic Replay Recovers Tool Use in Formal-Math Fine-Tuned LLMs" (COLM 2026): awakening-goedel-v2-32b-rl fine-tuned on the same 100 behavior-tilted Lean agentic traces as the SFT arm (128 epochs, lr 1e-5 cosine, checkpoint-128). Recovers BFCL Non-Live to 85.8 ("Goedel-RL-RAG-BT100" in the paper's score tables), showing the minimal-replay recovery holds on the RL checkpoint as well as the SFT one.

Related

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

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

GPU в ailist

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

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

Подбираем GPU…

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

0 моделей

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