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

Архитектура EVM-QuestBench определяет задачи посредством JSON-спецификаций, динамически преобразуя их в конкретные экземпляры, выполняемые через унифицированный TypeScript-интерфейс и оцениваемые валидаторами, при этом составные задачи дополнительно учитывают снижение эффективности с каждым шагом.

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

Квантовый горизонт: Размышления о безопасности и будущем

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

Зрение машин: Обработка изображений в реальном времени для встраиваемых систем

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

Оптимизация партийных запросов: Метод имитации отжига против градиентных подходов

Для кампании по оптимизации материалов с пятью целями, параллельная реализация имитации отжига демонстрирует превосходную сходимость по сравнению с последовательным подходом, достигая более высоких конечных значений гиперобъема и ускоряя процесс за счет оценки кандидатов с использованием GPU.

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

Квантовые паттерны в открытом коде: поиск и применение

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

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

Квантовые подгруппы $G_2$: от алгебр до графических представлений

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

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

Эксперименты с трёхсторонним соединением [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], при этом отношение прямого доступа ко времени единичного доступа к медианному ответу остаётся стабильным.

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