Automated Code Review Using Large Language Models with Symbolic Reasoning

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Icoz, Busra, Biricik, Goksel
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866913959004602368
author Icoz, Busra
Biricik, Goksel
author_facet Icoz, Busra
Biricik, Goksel
contents Code review is one of the key processes in the software development lifecycle and is essential to maintain code quality. However, manual code review is subjective and time consuming. Given its rule-based nature, code review is well suited for automation. In recent years, significant efforts have been made to automate this process with the help of artificial intelligence. Recent developments in Large Language Models (LLMs) have also emerged as a promising tool in this area, but these models often lack the logical reasoning capabilities needed to fully understand and evaluate code. To overcome this limitation, this study proposes a hybrid approach that integrates symbolic reasoning techniques with LLMs to automate the code review process. We tested our approach using the CodexGlue dataset, comparing several models, including CodeT5, CodeBERT, and GraphCodeBERT, to assess the effectiveness of combining symbolic reasoning and prompting techniques with LLMs. Our results show that this approach improves the accuracy and efficiency of automated code review.
format Preprint
id arxiv_https___arxiv_org_abs_2507_18476
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Automated Code Review Using Large Language Models with Symbolic Reasoning
Icoz, Busra
Biricik, Goksel
Software Engineering
Artificial Intelligence
Code review is one of the key processes in the software development lifecycle and is essential to maintain code quality. However, manual code review is subjective and time consuming. Given its rule-based nature, code review is well suited for automation. In recent years, significant efforts have been made to automate this process with the help of artificial intelligence. Recent developments in Large Language Models (LLMs) have also emerged as a promising tool in this area, but these models often lack the logical reasoning capabilities needed to fully understand and evaluate code. To overcome this limitation, this study proposes a hybrid approach that integrates symbolic reasoning techniques with LLMs to automate the code review process. We tested our approach using the CodexGlue dataset, comparing several models, including CodeT5, CodeBERT, and GraphCodeBERT, to assess the effectiveness of combining symbolic reasoning and prompting techniques with LLMs. Our results show that this approach improves the accuracy and efficiency of automated code review.
title Automated Code Review Using Large Language Models with Symbolic Reasoning
topic Software Engineering
Artificial Intelligence
url https://arxiv.org/abs/2507.18476