Причинность за пределами моделей
Новое исследование предлагает расширенное определение причинности, выходящее за рамки традиционных каузальных моделей и открывающее путь к более универсальному пониманию объяснений.
Новое исследование предлагает расширенное определение причинности, выходящее за рамки традиционных каузальных моделей и открывающее путь к более универсальному пониманию объяснений.
В статье представлена теоретическая база и библиотека Coco для Rocq, позволяющие автоматизировать анализ корекурсивных определений и повысить надежность программного кода.

Исследователи представили метод, позволяющий генерировать реалистичные изображения на основе композиционных данных, объединяя различные факторы управления в единую систему.
В этой статье прослеживается эволюция технологии цифровых двойников, начиная с её аэрокосмических корней и заканчивая современными применениями в здравоохранении.
Новый подход к поиску решений псевдобулевых ограничений значительно повышает эффективность алгоритма RoundingSAT за счет сочетания методов подсчета и схем наблюдения за литералами.

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

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

Новое исследование показывает, что мультимодальные модели с «цепочкой мыслей» теряют эффективность при переходе от одних типов задач к другим.

Исследователи предлагают инновационный метод оценки качества сгенерированных видео, использующий возможности моделей генерации как основу для формирования вознаграждения.
Новый подход позволяет автоматически извлекать и структурировать информацию о 2D-материалах из научных публикаций, значительно ускоряя процесс открытия новых материалов.