Zhang Haotian

New Jersey Institute of Technology

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Red-Teaming & Adversarial Robustness (1)

Frequent co-authors

Saif Mahmud (1)Fadul Sikder (1)Yuede Ji (1)Jeff (1)

Papers (1)

Jun 30, 2026

UT Austin1w ago·also NJIT

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

AI-generated C++ code is twice as likely to trigger runtime violations compared to human-written code, challenging the reliability of static analysis alone for safety evaluations.

Saif Mahmud, Fadul Sikder, Yuede Ji +3

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Red-Teaming & Adversarial Robustness

Search

Zhang Haotian

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)