Подход к повышению качества генерации программного кода большими языковыми моделями

Проблема. Исследуются проблемы, возникающие при использовании больших языковых моделей в задачах генерации кода, и существующие методы их решения. Цель. Повысить качество генерации программного кода. Результаты. Предложен подход к повышению качества на основе верификации результатов генерации с использованием модели, включающей онтологии и базы знаний. Практическая значимость. Среди возможных применений онтологий и баз знаний в задачах генерации кода можно выделить: проверку кода на возможные ошибки, генерацию объяснений, генерацию подсказок, подготовку задач и оценку результатов. Предложенный подход нацелен на верификацию и обогащение семантики промежуточных или финальных результатов большой языковой модели (LLM), а также на повышение качества вручную написанного кода.