norgitov/ trends
Технологии · люди · идеи
RSS
RUEN
К обзору/arXiv49 минут назад
ИсследованияarXiv

Sage: Формализация с семантической коррекцией

Sage — это фреймворк, предназначенный для улучшения формализации математических утверждений с использованием четырехэтапного генерационного пайплайна и цикла семантической коррекции, что повышает точность перевода естественного языка в формальный. Он значительно снижает утечку ответов и превосходит существующие модели на тестовых задачах.

Открыть первоисточник
СИГНАЛ ИЗ ИСТОЧНИКА
30
сентябрь 2026 г.
Наблюдаем с30 сентября 2026 г.
Темп интереса—Нужны повторные замеры
Обсуждение—Источник не передаёт комментарии
Опубликовано30 сентября 2026 г.Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wengping Deng, Liang Zhang
ЗА ЦИФРАМИ

Как меняется интерес

arXiv

Здесь важнее сама публикация

Этот официальный источник не публикует счётчик популярности. Материал обновляется по его RSS.

Только реальные замеры. История до подключения источника не восстанавливается.

ЗАЧЕМ ОБРАТИТЬ ВНИМАНИЕ

Sage решает проблему точного перевода неформальных математических описаний в формальный язык с использованием структурированного пайплайна и семантической обратной связи, что повышает надежность систем доказательства теорем.

Полезная находка?
ПРОДОЛЖИ ИССЛЕДОВАНИЕ

Рядом по теме

Вся тема
Daily Papers

VisionHOPE: Визуальные основы как системы самосовершенствующегося обучения

В статье представлена VisionHOPE, новая визуальная основа, функционирующая как система самосовершенствующегося обучения, позволяющая модели совместно развивать то, что она запоминает, и как она учится внутри изображения. Используются пять взаимосвязанных памяти и схема контроля размера шага, соответствующая устойчивости, чтобы обеспечить стабильные динамики обучения, достигая конкурентоспособных результатов на таких наборах данных, как ImageNet-1K, COCO и ADE20K.

3 дня назадDaily Papers

Ваш трансформер может держать две мысли одновременно: Доказательства линейной суперпозиции в LLM

В статье исследуется линейность в больших языковых моделях (LLM), демонстрируя, что объединение входов из разных потоков текста приводит к суперпозиции распределений следующих токенов. Авторы предполагают, что эта линейность является врожденным свойством архитектуры Transformer и может быть восстановлена с помощью тонкой настройки, позволяя генерировать два согласованных продолжения за один проход.

6 дней назадDaily Papers

FuseReg: Регуляризация фьюзинга слоев уменьшает разрыв между реконструкцией и генерацией в представительных автокодерах

В этой статье представлена FuseReg, метод, который заменяет эвристическую фьюзинг-фьюзинг в представительных автокодерах (RAE) обучением на случайных подмножествах слоев кодировщика. Подход уменьшает разрыв между реконструкцией и генерацией, повышая устойчивость к выбору фьюзинга слоев, достигая более высокого PSNR и более низких значений FID генерации без изменения предобученного кодировщика.

5 дней назадDaily Papers

Групповое агентное оценивание и перераспределение преимуществ для RL-агентов кода

В статье представлена GAGAR — фреймворк для распределения кредитов с учетом качества в RL-агентах для кода. Используется динамическая выборка и SFT-обученный агентный оценщик для ранжирования траекторий, проходящих тесты, и корректировки преимуществ для приоритизации более качественных реализаций. Метод был протестирован на промышленных кодовых агентах с большими количествами параметров.

4 дня назадDaily Papers

SentZero: Улучшенный фреймворк предобучения мультимодальных данных, ориентированный на предложения, для многозадачного нулевого обучения анализа рентгеновских снимков грудной клетки

В этой статье представлена SentZero, фреймворк предобучения мультимодальных данных, ориентированный на предложения, предназначенный для нулевого обучения многозадачного анализа рентгеновских снимков грудной клетки. Она повышает разнообразие положительных пар и снижает ложные отрицательные результаты за счет структурирования предложений с использованием крупных языковых моделей и модуляции визуальных вложений.

позавчераDaily Papers

Обучение на основе контекста: синтетическое обучение на искажённых публичных документах

В этой статье представлена методика повышения способности больших языковых моделей (LLM) обучаться на основе контекста с использованием искажённых публичных документов. Подход включает переписывание документов, генерацию вопросов с элементами рассуждений и обучение студенческой модели на этих синтетических образцах, что приводит к улучшению производительности на CL-bench и более широкому применению в задачах, таких как понимание длинного контекста и рассуждения.

3 дня назад