BODHI: Precise OS Kernel Specification Inference

In three linesBODHI, a domain knowledge prompting method, improves automated OS kernel specification generation via LLMs. Tested on 9 models (Anthropic, Mistral, Amazon, DeepSeek, Meta, Alibaba), it reaches 96.73% Pass@1 with Claude Opus 4.6 versus 55.10% baseline, by structuring C-to-Python translation across pattern categories.

Summary generated by Claude — human-verified