Assisted Specification of Code Using Search
专题命中 代码生成 :code generation(abstract);program synthesis(abstract);分类 cs.SE
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
专题命中 代码生成 :code generation(abstract);program synthesis(abstract);分类 cs.SE
专题命中 代码生成 :code generation(abstract);program synthesis(abstract);分类 cs.SE
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI、cs.LG
Comments Accepted to be published in ESEC/FSE 2022
专题命中 代码生成 :program synthesis(abstract);分类 cs.SE、cs.AI、cs.LG
专题命中 代码生成 :code generation(abstract);program repair(abstract);分类 cs.SE
Comments Accepted at the 30th IEEE/ACM International Conference on Program Comprehension (ICPC 2022) - ERA track
专题命中 代码生成 :code model(abstract);分类 cs.SE、cs.AI、cs.LG
Comments Accepted at SIGIR 2021
专题命中 代码生成 :program repair(abstract);program synthesis(abstract);分类 cs.LG
Comments Accepted at NeurIPS 2020
专题命中 代码生成 :program repair(abstract);program synthesis(abstract);分类 cs.PL
专题命中 代码生成 :code generation(abstract,comments);分类 cs.CL、cs.LG、cs.PL
Comments This work was presented at the 2nd Languages, Architectures, and Tools for Heterogeneous Computing (LATHC) Workshop 2024, organized in conjunction with the IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
专题命中 代码生成 :code generation(abstract,comments);分类 cs.SE、cs.AI、cs.PL
Comments To be published in 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
智能体事务:面向ACID兼容的智能体系统
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 该研究提出ACID兼容的智能体事务框架,开发对应数据智能体,在基准测试中较含Claude Code的现有智能体提升10.6%,为构建可信可扩展AI智能体开辟新方向。
没有通用信号可预测版本更新下的样本级大语言模型退化
机构 * University of Ottawa(渥太华大学) ; Vector Institute(向量研究所)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 本文研究如何用推理时信号预测LLM版本更新导致的样本级退化,对比单模型与跨版本信号,发现信号有效性具任务依赖性且无通用最优信号,部分跨版本信号可支持选择性回退,从业者可据此选择信号。
基于大语言模型的程序语义不等价博弈
机构 * University of Edinburgh(爱丁堡大学) ; Cisco Systems(思科系统)
专题命中 代码生成 :code generation(abstract);分类 cs.AI、cs.LG、cs.PL
AI总结 本研究提出基于语义不等价博弈(SInQ)的方法,通过生成器与评估器智能体半对抗训练合成代码推理数据,在跨语言漏洞检测等基准上显著提升LLMs的代码语义理解能力。
基于变分学习的RLVR参数探索
机构 * INSAIT, Sofia University “St. Kliment Ohridski”(INSAIT,圣克莱门特奥赫里德斯基索非亚大学) ; National Research Center for Applied Cybersecurity ATHENE(ATHENE国家应用网络安全研究中心)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 本文针对LLM强化学习的探索问题,提出参数空间探索思路,引入3PO方法,在OLMo-3-1025-7B等模型的数学推理等任务上,以相近计算成本相比GRPO提升性能,减少训练中的异常分组与轨迹。
MetaLint: 代码检查的易到难泛化
机构 * Carnegie Mellon University(卡内基梅隆大学)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.LG
AI总结 MetaLint通过元学习框架将代码检查转化为指令遵循任务,能根据自然语言规范评估代码是否符合最佳实践,实现无需重新训练的泛化能力,且在不同编程语言和场景中表现优异。
修订还是重新解决?多LLM流水线中第二轮收益的分解
机构 * School of Computer Science, Carnegie Mellon University(卡内基梅隆大学计算机科学学院)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 本文通过控制实验分解多LLM流水线的第二轮收益,发现其收益取决于任务结构、草稿质量和信息类型,不同任务需不同策略。
Comments In Proceedings Of COLM 2026
Routesplain:面向软件相关任务的可信赖且可干预的路由方法
机构 * Columbia University(哥伦比亚大学) ; Oracle AI
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.LG
AI总结 Routesplain是首个面向软件相关任务的LLM路由工具,通过提取可解释概念路由,在8项软件任务上的16种LLM中,其性能优于单个模型且不逊于黑盒基线,可提升响应质量并降低成本。
Comments Accepted to COLM 2026
对大型语言模型在库和编程语言偏好方面的研究
机构 * King’s College London(伦敦国王学院) ; University College London(伦敦大学学院) ; Digital AI Research, BT Group(BT集团数字人工智能研究)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 本研究探讨了大型语言模型在生成代码时对库和编程语言的选择偏好,通过实证研究分析了八种不同大型语言模型在库和语言选择上的倾向,发现模型倾向于使用广泛采用的库如NumPy,并且在某些情况下这种选择并非必要,同时也显示出对Python的偏好,尽管在某些高性能项目初始化任务中Python并非最优选择。
Comments 21 pages, 10 tables, 3 figures. Accepted to Findings of ACL 2026
Journal ref Findings of the Association for Computational Linguistics: ACL 2026
通过多路径推理和反馈驱动优化实现自动化可视化代码合成
机构 * AI Research, Enhans, Seoul, South Korea Innovation \& Technology, KAIST, Daejeon, South Korea Department of Computer Science, University of California, Berkeley, CA, United States Department of Electrical
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 VisPath通过多路径推理和反馈驱动优化,提升自动化可视化代码生成的可靠性与准确性。
Comments Accepted by International Conference on Pattern Recognization (ICPR 2026)
Journal ref Pattern Recognition. ICPR 2026. Lecture Notes in Computer Science, vol 16812. Springer, Cham
评估用于基于自然语言的SQL和API调用生成的检索增强生成变体
机构 * IU International University of Applied Sciences(国际应用科学大学)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 本文评估了三种RAG变体在生成SQL和API调用任务中的性能,发现CoRAG在混合文档环境下表现最佳,检索策略设计对自然语言接口至关重要。
Comments preprint of conference submission
多智能体系统中的潜在协作
机构 * University of Washington(华盛顿大学)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 提出LatentMAS框架,使LLM智能体在连续潜在空间直接协作,无需文本中介,实现更高精度、更低开销和更快推理。
Comments ICML2026 Spotlight, Project: https://github.com/Gen-Verse/LatentMAS
CodeEvo:通过混合和迭代反馈以交互驱动方式合成以代码为中心的数据
机构 * Shanghai AI Laboratory(上海人工智能实验室) ; The University of Hong Kong(香港大学) ; New York University(纽约大学) ; Carnegie Mellon University(卡内基梅隆大学) ; Shanghai Innovation Institute(上海创新研究院)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 为解决高质量指令-代码对获取难题,提出双智能体架构CodeEvo,审查器制定模式并结合混合验证协议,构建CodeEvo-100K数据集,实验表明基于此数据微调的模型在代码生成基准测试中表现出色。
Comments ACL 2026 (Oral)
通过潜在蒸馏探索大语言模型
机构 * State Key Laboratory of General Artificial Intelligence, BIGAI, Beijing, China(人工智能通用基础理论国家重点实验室,BIGAI,北京,中国) ; School of Information Science and Technology, ShanghaiTech University, Shanghai, China(信息科学与技术学院,上海交通大学,上海,中国)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 本文提出Exploratory Sampling方法,通过蒸馏模型引导生成过程,提升语义多样性与推理效率,在数学、科学和代码生成中表现优异。
Comments 25 pages, 5 figures. Accepted in ICML 2026
迈向可靠的人工智能辅助模拟设计:用于逐次逼近寄存器型模数转换器生成的模板约束大语言模型智能体
机构 * Massachusetts Institute of Technology(麻省理工学院)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI、cs.LG
AI总结 研究针对大语言模型在模拟电子设计自动化应用的瓶颈,提出端到端多步骤的ATLAS框架,利用专家知识结合模板约束生成,能生成成功通过仿真验证的SAR ADC,为集成LLMs到可靠模拟设计方法奠定基础。
递归多智能体系统
机构 * UIUC(伊利诺伊大学香槟分校) ; Stanford University(斯坦福大学) ; NVIDIA(英伟达) ; MIT(麻省理工学院)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 本文提出递归多智能体框架RecursiveMAS,通过递归计算提升多智能体协作效率,实验证明其在多个基准测试中准确率提升8.3%,推理速度提升1.2-2.4倍,token使用减少34.6%-75.6%。
Comments Project Website: https://recursivemas.github.io
MetaState: 持久工作记忆增强离散扩散语言模型的推理能力
机构 * Georgia Institute of Technology(佐治亚理工学院) ; University of Massachusetts Amherst(马萨诸塞大学阿默斯特分校) ; Harvard University(哈佛大学)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 MetaState通过引入轻量级循环增强模块,为冻结的离散扩散语言模型提供持久固定大小的工作记忆,提升推理性能,平均提升4.5%。
低延迟系统中的工具制作与自我进化大语言模型智能体
机构 * Amazon(亚马逊)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.LG
AI总结 研究如何解决生产LLM智能体因重复生成代码浪费延迟和可靠性的问题,提出用智能工具制作管道取代推理时编码循环,部署该方法使系统更快、更可靠、易操作,降低延迟和错误率,提高可审计性。
Comments Preprint
TokenScope: 面向大型语言模型中代码任务的令牌级可解释性与解释性
机构 * University of British Columbia(不列颠哥伦比亚大学)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.CL、cs.AI
AI总结 提出TokenScope工具,通过令牌级指标、注意力模式和抽象语法树聚合,实现解码时信号与结构分析的统一,支持交互式令牌替换和反事实分支,以系统研究LLM在代码生成中的行为。
以正确的方式正确:结合可验证奖励和人类演示的LM训练
机构 * MIT EECS(麻省理工学院电气工程与计算机科学系)
专题命中 代码生成 :code generation(abstract);分类 cs.CL、cs.AI、cs.LG
AI总结 提出对抗生成器-判别器框架,在可验证奖励基础上加入人类演示信号,同时优化任务准确性和非可验证属性,在代码修复、故事生成等任务中提升人类相似度并减少奖励黑客行为。
代码语义缩放
专题命中 代码生成 :code generation(abstract);coding agent(abstract)
AI总结 提出基于伪代码的CodeZoom方法,通过多层语义抽象迭代探索、理解和优化代码,在用户研究中相比Claude Code显著提升代码理解与控制感。