Проверка смарт-контрактов: новый рубеж для языковых моделей

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

Исследователи представили EVM-QuestBench — комплексный набор тестов, позволяющий оценить способность искусственного интеллекта генерировать код транзакций для блокчейнов Ethereum.
Квантовый горизонт: Размышления о безопасности и будущем Представьте себе парадокс: мы строим крепость из новых материалов, но забываем заложить фундамент. Именно это происходит сейчас с квантовой безопасностью. Мы увлечены созданием новых алгоритмов, но игнорируем уязвимости в существующих системах и инфраструктуре. По сути, квантовая безопасность — это не просто замена одного алгоритма другим. Это переосмысление всей … Читать далее
Новый обзор посвящен оптимизации алгоритмов обработки изображений для работы на устройствах с ограниченными ресурсами, открывая возможности для автономных систем и робототехники.

В новой работе исследователи продемонстрировали, что метод имитации отжига превосходит традиционные методы оптимизации при выборе наиболее перспективных кандидатов в задачах многоцелевой байесовской оптимизации.

Исследование выявляет распространенные шаблоны квантового программирования в проектах с открытым исходным кодом, предлагая инструменты для их автоматического обнаружения и использования.
В статье представлен всесторонний анализ систем генерации с поиском (RAG), охватывающий их эволюцию, текущее состояние и перспективы развития.
Новое исследование демонстрирует связь между абстрактными алгебраическими структурами и конкретными представлениями в теории плоских графов, открывая путь к построению и проверке квантовых подгрупп.
Исследование предлагает свежий взгляд на класс звёздных функций, расширяя их понятие с помощью q-исчисления и устанавливая точные границы для их коэффициентов и детерминантов.
![Эксперименты с трёхсторонним соединением [latex]R(A,B) \bowtie_{B} S(B,C) \bowtie_{C} T(C,D)[/latex] с использованием синтетических данных показали, что при контролируемом размере результирующего набора, время доступа к медианному ответу при полном лексикографическом порядке [latex]A \rightarrow B \rightarrow C \rightarrow D[/latex] существенно зависит от значения [latex]k[/latex] при размере отношений в [latex]10^4[/latex], при этом отношение прямого доступа ко времени единичного доступа к медианному ответу остаётся стабильным.](https://arxiv.org/html/2601.06013v1/x1.png)
Исследование демонстрирует, как алгоритмы прямого доступа позволяют значительно ускорить обработку сложных запросов к базам данных, особенно при небольшом количестве обращений.
![Шаблон промпта, разработанный для задачи определения релевантности запроса и элемента, позволяет структурировать входные данные таким образом, чтобы максимизировать точность сопоставления между запросом [latex]q[/latex] и соответствующим элементом [latex]i[/latex].](https://arxiv.org/html/2601.05259v1/x2.png)
В статье подробно описан подход, позволивший добиться выдающихся результатов в задаче оценки релевантности поисковых запросов на нескольких языках в рамках соревнований CIKM 2025.