activity
20202026
most citedComparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection

4 citations · 11 across the 13 of their papers we have counts for

collaborators
Showing 2025 · cs.PLShow all

1 paper · 2 filters

cs.PL2025

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Thanh Le-Cong, Bach Le, Toby Murray

Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied,…