The Illusion of Safety: Multi-Tier Verification of AI vs. Human C++ Code

Saif Mahmud, Fadul Sikder, Yuede Ji +3

As large language models (LLMs) are increasingly deployed for systems programming, their ability to generate secure C++ code, where a single memory-safety failure creates an exploi…