Program Semantic Inequivalence Game with Large Language Models
基于大语言模型的程序语义不等价博弈
机构 * University of Edinburgh(爱丁堡大学) ; Cisco Systems(思科系统)
专题命中 代码生成 :code generation(abstract);分类 cs.AI、cs.LG、cs.PL
AI总结 本研究提出基于语义不等价博弈(SInQ)的方法,通过生成器与评估器智能体半对抗训练合成代码推理数据,在跨语言漏洞检测等基准上显著提升LLMs的代码语义理解能力。