Zhongxu Yin, Junru Li, Yiran Song, Liya Kong. Bridging the gap between LLMs and structured program vulnerability analysis: An agent reasoning approach with first-order logic modeling. Expert Syst. Appl., 299:130105, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.