کارهای مرتبط؛ چه چیزایی قبلا انجام شده؟

👩‍🏫 روش‌های قبلی بیشتر به مدل‌های زبانی متکی بودن، که بیشتر ظاهر کد رو می‌فهمن نه منطق دقیقش رو.
ابزارهای منطقی هم وجود دارن، اما خشک و محدودن.
اینجا نویسنده‌ها این دو رو ترکیب کردن تا هم دقت بالا بره و هم انعطاف حفظ بشه.

Related Work – What has been done before?

👩‍🏫 People have tried using AI alone to review code.

These models are good at style and basic errors.

But they’re bad at deep logic, like checking if code always behaves correctly or crashes in edge cases.

Symbolic reasoning tools (used in compilers or formal methods) are good at logic but not flexible.

So why not combine both?

🔰 @scopeofai | #papers