文献检索/Expert Systems with ApplicationsEM-WoSExpert Systems with Applications2025-10-29第 299 卷，130105-130105高影响力 · 前 10%Bridging the gap between LLMs and structured program vulnerability analysis: An agent reasoning approach with first-order logic modelingZhongxu YinPLA Information Engineering UniversityJunru LiPLA Information Engineering UniversitySong Yi-ranHenan University of Animal Husbandry and EconomyLiya KongPLA Information Engineering University去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱，注册免费。登录 / 注册关键词large language modelsfirst-order logicagent reasoningformal verificationcontrol flow dependenciesLLM hallucination参考文献11引证文献0相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱：谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册
