Natural Language based Specification and Verification

Zhaorui Li, Chengyu Song

Recent frontier large language models (LLMs) have shown strong performance in identifying security vulnerabilities in large, mature open-source systems. As LLM-generated code becom…