Наука
GLARE: Новый интерфейс на LLM упрощает запросы к глобальным..
Исследователи представили GLARE — систему на основе LLM, которая позволяет задавать вопросы на естественном языке к глобальным объяснениям...
Новый алгоритм для отбора разнообразных данных: решение..
Исследователи предложили метод релаксации задачи MAP для точечных процессов определителя (DPP), позволяющий выбирать разнообразные...
Новый критерий эффективности ИИ-агентов заменит лидерборды..
Исследователи проанализировали 14 реализаций промышленного бенчмарка и выяснили, что усредненные рейтинги не предсказывают реальную...
Термодинамический метод обнаружения галлюцинаций у языковых..
Исследователи представили метод Free-Energy Signatures на основе спектрального анализа внимания нейросетей. Он выявляет ложные ответы...
Исследователи представили обзор десятилетия AI4SE и SE4AI:..
Анализ 2601 статьи и 889 публикаций с помощью шести ИИ-моделей позволил выявить ключевые пробелы на стыке искусственного интеллекта и...
VERITAS: новый метод формального доказательства теорем достиг..
Исследователи представили VERITAS — фреймворк для нуль-шотного формального доказательства теорем, использующий двухфазный протокол с...
Учёные нашли способ эффективнее отбирать пары для обучения LLM..
Исследователи предложили математическую модель для выбора наиболее информативных пар ответов при обучении языковых моделей методом DPO. Это...
Украинская компания показала обновлённые дроны-камикадзе FP-1 и..
На выставке Eurosatory 2026 в Париже компания Fire Point представила модернизированные дроны-камикадзе FP-1 и FP-2. Аппараты получили...
Гибридная GNN-FEM модель ускоряет симуляцию разрушения..
Исследователи разработали гибридный подход, объединяющий графовые нейронные сети (GNN) с методом конечных элементов (FEM) для моделирования...
Prompt injection искажает вердикт солверов в LLM-петлях..
Новое исследование arXiv выявило разрыв в этапе наррации гибридных систем LLM и формальных солверов. Даже при корректном вердикте солвера,...
