arXiv cs.SE· Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Colton Payne, Paulo Shakarian, Dana Warmsley, Nigel Stepp, Evelyn Kim·· 2 小时前AI 评分38
EntailLLM：用逻辑程序结合领域知识校验智能体生成的漏洞发现路径
EntailLLM: Verifying Agent-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming
AI 导读
EntailLLM 提出一套框架，包含专用 LLM 智能体和校验机制：智能体给出漏洞在函数调用图上的遍历路径，再由独立的领域知识图谱和逻辑程序在标注逻辑下做蕴涵检查。
来源：arXiv cs.SE · arxiv.org