Git-Assistant — это ИИ-ассистент, который интегрирует большие языковые модели с автоматическим планированием, чтобы помочь разработчикам выполнять сложные операции git. Он анализирует контекст репозитория и переводит запросы на естественном языке в исполняемые последовательности команд, обеспечивая корректность посредством формального рассуждения.
Система использует техники планирования для повышения надежности задач управления репозиторием. Систематическая оценка с использованием синтетических и рандомизированных git-окружений сравнивала варианты только с LLM против вариантов, дополненных планированием, по нескольким метрикам.
Экспериментальные результаты демонстрируют, что интеграция формального рассуждения с LLM снижает количество ошибок при управлении репозиторием, подчеркивая потенциал гибридных ИИ-подходов для интеллектуальной помощи разработчикам.