HugMap
人工智能
云计算
半导体
网络安全
企业软件
区块链
量子计算
生物科技
新能源与智能制造
智能穿戴
机器人
智能手机
图谱探索
趋势分析
登录
注册
BODHI: Precise OS Kernel Specification Inference
文章
ArXiv CS.AI
2026-05-26
NEWS
en
作者: Zhiming Chang, Ziyang Li
大语言模型
查看原文
→
关系图谱
概览
相关事件
相关公司
相关人物
相关产品
相关技术
BODHI: Precise OS Kernel Specification Inference · 相关技术
相关技术
Large language model
LLM
ORM
TTE
ODE
language model
divide-and-conquer partitioning
UCT
Straight-Through Estimator
Stan
Referring expression comprehension (REC)
Python
Prompt
Parts-of-Speech (POS) tags
OWL
LMM
Kernel
Grouped Memorization Evaluation
GAN
For
Effort Metric Attention
DiT
chain-of-thought
CoT
CIS
ARG
ANN