Automated Code Review Using Large Language Models with Symbolic Reasoning. - Busra Icoz; Göksel Biricik (CoRR, 2025)