Teaching LLMs Program Semantics via Symbolic Execution Traces
通过符号执行轨迹教学LLM程序语义
机构 * University of Cambridge(剑桥大学) ; Amazon Web Services(亚马逊网络服务)
专题命中 预训练与数据 :LLM(title_cn,summary_cn);pretraining(abstract);分类 cs.LG
AI总结 本文通过符号执行轨迹训练提升LLM对程序语义的理解,发现结合推理的训练显著提升了漏洞检测能力,且在不同属性类型上均有效。