Skip to content

Measuring the Reasoning Boundaries of Large Language Models for Implicit Security Invariants in Code: A Controlled Empirical Study.

Ruofei Wang, Honglin Zhuang, Huayang Cao, Siqi Chen

Year2026
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.