PulseAugur
实时 12:25:14
实体 OSV-Bench

OSV-Bench

PulseAugur coverage of OSV-Bench — every cluster mentioning OSV-Bench across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_50801 ·

    LLM提示方法BODHI提高了操作系统内核规范推断的准确性

    研究人员开发了BODHI,这是一种新颖的提示方法,旨在提高大型语言模型在生成操作系统内核形式化规范方面的准确性。通过整合将C代码模式转换为Python的结构化指南,BODHI解决了特定领域的翻译挑战。这种方法显著提高了各种LLM的性能,最佳配置在一个基准任务上达到了96%以上的准确率。