cd/entity/Hyperkernel· home› entities› Hyperkernel
grep -l @hyperkernel /news/*.json | wc -l → 1

Hyperkernel

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

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…

// co-occurs with top 7 entities
Claude Opus 4.6 1 Anthropic 1 Mistral 1 Amazon 1 DeepSeek 1 Meta 1 Alibaba 1
// topics top 4 topics
large language models 1 artificial intelligence 1 ai research 1 machine learning 1