Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Abstract is missing.