Применение LLM-верификации для устранения багов в сетевом стеке Linux

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