51 citations · 80 across the 12 of their papers we have counts for
1 paper · 2 filters
Yihe Li, Ruijie Meng, Gregory J. Duck
Large Language Models (LLMs) have emerged as a promising alternative to traditional static program analysis methods, such as symbolic execution, offering the ability to reason over…