Tag
BODHI is a domain knowledge prompting method that improves LLM-based generation of formal OS kernel specifications by augmenting few-shot prompts with a structured C-to-Python translation guide, achieving up to 96.73% Pass@1 on the OSV-Bench benchmark.