PulseAugur
中
实时 13:54:35
实体 Function call graph

Function call graph

PulseAugur coverage of Function call graph — every cluster mentioning Function call graph across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_324701 ·

    EntailLLM框架通过逻辑编程验证LLM代理漏洞发现

    研究人员开发了EntailLLM，一个旨在提高大型语言模型代理在识别软件漏洞方面的可靠性的框架，特别是在医疗设备等安全关键应用中。该系统使用逻辑编程根据独立的领域知识验证代理生成的漏洞路径。在对各种通用弱点枚举类别和二进制文件大小的评估中，EntailLLM将蕴含率从77%提高到98%，证明了其有效性并提供了形式逻辑验证。