Сжатие нейросетей: как сохранить зрение в условиях реального мира?

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

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

Квантовая запутанность и горизонт событий: Не такое уж и недостижимое?

Квантовая запутанность и горизонт событий: Не такое уж и недостижимое? Представьте себе, что вы пытаетесь различить две абсолютно идентичные монеты, одну из которых бросили в бездонную яму. Кажется невозможным, верно? Но что, если бы квантовая механика дала вам крошечный шанс все-таки различить их? Вот о чем эта работа. Суть в следующем: запутанные частицы связаны между … Читать далее

Звук и Реальность: Новый Тест для Искусственного Интеллекта

Оценка понимания физических законов моделью осуществляется посредством фреймворка PhyAVBench, использующего тест чувствительности к физическим параметрам (APST), в котором сравниваются сгенерированные аудиохарактеристики, полученные при небольших изменениях физических переменных (например, материала), с ожидаемыми закономерностями, а количественная оценка согласованности выражается в виде показателя контрастного физического отклика [latex]CPRS[/latex].

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

Безопасное управление механическими системами: новый подход с учетом энергии

Байесовские барьеры, учитывающие энергию системы, обеспечивают консервативную оценку небезопасных областей фазового пространства (q,p), ограничивая их при условиях [latex]q \geq -1[/latex], [latex]0.15 \leq H(q,p)[/latex] и [latex]H(q,p) \leq 0.75[/latex], что демонстрирует возможность локального контроля над динамикой системы без необходимости в глобальном архитектурном решении.

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

Обучение с подкреплением: Новый подход к локальной сходимости

Итерационный процесс QQ-приближения, применённый к марковскому процессу принятия решений Garnet при значительном расхождении норм, демонстрирует, что применение температурной гомотопии позволяет добиться сходимости, при этом затенённые области, обозначающие 25-й и 75-й процентили при различных начальных значениях, указывают на устойчивость метода, а пунктирная линия отмечает момент достижения целевого значения τ.

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

Оптимизация обучения нейросетей: новый подход на основе оптимального управления

Кривые потерь при обучении и валидации на наборе данных Cambridge Landmarks демонстрируют сходимость модели и позволяют оценить её обобщающую способность, выявляя потенциальную пере- или недо-подгонку к данным.

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

Категории в Формальной Логике: Испытание для Искусственного Интеллекта

Точность формальных доказательств (pass@4) варьируется в зависимости от базовых моделей LeanCat, демонстрируя различия в их способности успешно верифицировать корректность математических рассуждений.

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