Наука

Геометрия траекторий нейросети точнее softmax: новый метод калибровки неопределенности

Геометрия траекторий нейросети точнее softmax: новый метод..

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


NeuroNL2LTL: перевод с естественного языка в формальную логику с верификацией до 86%

NeuroNL2LTL: перевод с естественного языка в формальную логику с..

Исследователи представили нейросимволический фреймворк NeuroNL2LTL, который объединяет машинное обучение и формальную верификацию для...


Latent Cache Flow: новый способ обмена данными между ИИ-агентами без текста

Latent Cache Flow: новый способ обмена данными между ИИ-агентами..

Исследователи представили метод Latent Cache Flow (LCF), который позволяет LLM-агентам обмениваться информацией напрямую через KV-кэши,...


Новый метод BOHM оценивает вклад компонентов ИИ-систем без затрат и доступа к внутренностям

Новый метод BOHM оценивает вклад компонентов ИИ-систем без..

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


Умные часы Google и геймпад едва не вызвали пожар из-за короткого замыкания

Умные часы Google и геймпад едва не вызвали пожар из-за..

Пользователь Reddit рассказал, как зарядная станция геймпада Steam Controller случайно коснулась металлического ремешка умных часов Google...


Исследователи выявили опасное взаимодействие формата и схемы при построении графов знаний из CSV

Исследователи выявили опасное взаимодействие формата и схемы при..

Учёные обнаружили, что при извлечении данных из статистических CSV-таблиц совместное влияние формата сериализации и схемы экстракции может...


Исследование: AI приносит адаптивность в серьёзные игры для обучения

Исследование: AI приносит адаптивность в серьёзные игры для..

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


LLM для планирования: новый тренд — генерация символьных решателей

LLM для планирования: новый тренд — генерация символьных..

Исследователи из разных стран представили на arXiv обзор, в котором фиксируют сдвиг в подходах к планированию с использованием больших...


AutoMCU: Нейросети для микроконтроллеров настраиваются за 1-2 часа с помощью LLM-агентов

AutoMCU: Нейросети для микроконтроллеров настраиваются за 1-2..

Исследователи представили AutoMCU — систему на основе больших языковых моделей (LLM) и мультиагентной архитектуры, которая автоматически...


Исследователи предложили метод безопасного обучения ИИ на основе предпочтений толпы

Исследователи предложили метод безопасного обучения ИИ на основе..

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