04:00
2026-05-26
arxiv.org
large-language-models
BODHI: Precise OS Kernel Specification Inference
Researchers have developed BODHI, a domain knowledge prompting method that improves automated generation of formal operating system kernel specifications using large language models. The technique, wh…