Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications

## Контекст Large language models (LLMs) широко применяются в программировании для задач, таких как создание кода, его проверка и анализ. Инженеры часто используют LLMs для проверки того, что код соответствует требованиям задач, что позволяет значительно повысить качество и надежность программного обеспечения. Однако недостаточно ясно, насколько эффективно LLMs справляются с такой задачей, так как оценивать соблюдение кода естественно-языковых спецификаций остается сложной задачей. Наши исследования показали, что LLMs могут достаточно часто ошибаться при работе с таким типом задач. Это может привести к серьезным недочетам в работе программного обеспечения. Мы видим следующую проблему: LLMs не всегда выполняются должным образом, а сложные техники подбора ответов в конечном итоге могут ухудшить результат. ## Метод Мы разработали и использовали процедуры для определения работоспособности LLMs в проверке кода на соответствие естественно-языковым спецификациям. Наши эксперименты основывались на различных стандартных бенчмарках и ситуациях. Мы использовали простые и сложные (с применением техник подбора ответов) управляющие запросы для выявления недостатков LLMs. Наш алгоритм был разработан с учетом возможности анализа потенциальных ошибок и их воспроизведения в различных сценариях. Мы также проанализировали корни проблемы и предложили стратегии для улучшения работы LLMs в такой области. ## Результаты Мы выявили, что LLMs часто неверно определяют соответствие кода требованиям, в том числе могут ошибиться, воспринимая правильный код за несоответствующий. Даже при использовании более сложных управляющих запросов, в том числе с применением техник подбора ответов, ситуация не улучшается. Наши результаты показывают, что необходимо значительно усовершенствовать технологии LLMs, чтобы они могли более точно оценивать соответствие кода требованиям. Мы также выявили, что некоторые типы ошибок возникают на ранних этапах, что может ухудшить общую надежность LLMs в этой области. ## Значимость Наши находки могут быть применены в различных сферах, включая автоматизацию кода, кодирование и анализ информационных систем. Мы показали, что LLMs могут стать более эффективными используя наши усовершенствованные методы, что может повысить качество программного обеспечения. Это также может повлиять на развитие новых систем, которые будут более точно оценивать код, и сделать его более надежным. ## Выводы Мы выявили системные недостатки LLMs в проверке кода на соответствие естественно-языковым требованиям. Наши результаты показывают, что более сложные методы управляющих запросов могут привести к большему количеств