标签
BODHI是一种领域知识提示方法，通过用结构化的C到Python翻译指南增强少量示例提示，改进了基于LLM的形式化操作系统内核规范生成，在OSV-Bench基准测试中达到了高达96.73%的Pass@1。