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

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

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

Ссылки

Hugging Face

awakening-sft-replay100

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

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

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

Бенчмарки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

awakening-sft-replay100 — дообученная модель на базе awakening-goedel-v2-32b-sft, разработанная juihuichung в рамках работы о восстановлении использования инструментов в моделях, дообученных для формальной математики. Это плотная языковая модель семейства Qwen3 с 29,7 млрд параметров, предназначенная для генерации текста, диалогов и вызова инструментов, в том числе при доказательстве теорем на Lean 4.

Модель дообучена на 100 примерах трасс взаимодействия агента с инструментами, ориентированных на поведение; README сообщает, что это восстановило показатель BFCL Non-Live с 4,6 до 83,8 при сохранении способности доказывать теоремы в Lean 4. Контекст составляет до 40 960 токенов. Репозиторий использует формат Safetensors и библиотеку Transformers. Лицензия — Apache-2.0.

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

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

Ограничения

Заявленные результаты относятся к конкретному тесту BFCL Non-Live и не гарантируют аналогичного качества на других задачах или инструментах. README описывает обучение на небольшом наборе из 100 трасс; независимые оценки качества не приведены.

Для каких профессий подходит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-sft-replay100

The headline "+100 agentic replay" arm of "Minimal Agentic Replay Recovers Tool Use in Formal-Math Fine-Tuned LLMs" (COLM 2026): awakening-goedel-v2-32b-sft (BFCL Non-Live 4.6, tool-calling fully collapsed) fine-tuned on just 100 behavior-tilted Lean agentic traces (OMR-sharegpt-P2.behavior_tilted.sample_100, 128 epochs, lr 1e-5 cosine, cutoff 16384, checkpoint-128). Recovers BFCL Non-Live to 83.8 while retaining Lean-4 proving ability.

Related

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

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

GPU в ailist

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

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

Подбираем GPU…

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

0 моделей

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