Нейросети на страже кода: Автоматический поиск уязвимостей

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

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

Новое исследование анализирует, насколько надежную информацию выдают китайские поисковые системы, большие языковые модели и AI-обзоры.
![В рамках обобщенного конвейера планирования, ориентированного на состояния, из символического представления задачи Π генерируются исполняемые планы посредством обучения модели переходов: символические пары «состояние-цель» ([latex]s_t, g[/latex]) отображаются в фиксированные векторные представления [latex]\phi(s_t)[/latex] с использованием ядер графов WL или факторизованных векторов, после чего параметрическая (LSTM) или непараметрическая (XGBoost) модель изучает остаточные переходы состояний [latex]\Delta_t[/latex] для предсказания последующих вложений, а полученные предсказанные вложения [latex]\hat{\phi}(s_{t+1})[/latex] сопоставляются с допустимыми символическими преемниками [latex]\mathrm{Succ}(s_t)[/latex], индуцированными γ, гарантируя тем самым символическую валидность и обеспечивая обобщение на основе модели переходов.](https://arxiv.org/html/2602.23148v1/2602.23148v1/figures/state-centric-arch.png)
Новый подход к планированию, основанный на предсказании состояний, позволяет создавать более эффективные и универсальные алгоритмы, особенно в сложных, локально взаимодействующих средах.
Исследование предлагает оригинальный метод построения гауссовских процессов, вдохновленный пределом бесконечной ширины байесовских нейронных сетей, для повышения надежности и масштабируемости задач регрессии.

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