EntailLLM：用逻辑程序校验智能体漏洞路径

Kaustuv Mukherji 等作者提出 EntailLLM 框架，让专用 LLM 智能体给出漏洞在函数调用图上的遍历路径，再由独立的领域知识图谱和逻辑程序在标注逻辑下做蕴涵检查，以校验这些路径。 该框架由智能体生成与校验机制两部分组成；作者称其用于校验智能体生成的漏洞发现路径，评估结果尚未在报道中给出。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。