Execution-Anchored Hallucination Calibration Reranking for Verilog Code Generation
面向Verilog代码生成的执行锚定幻觉校准重排序
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
AI总结 该研究针对LLM生成Verilog代码时的性能问题,提出EAHC重排序框架,通过双通道架构融合执行与推理信号,解决现有方法的域迁移差和推理幻觉问题。
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
面向Verilog代码生成的执行锚定幻觉校准重排序
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
AI总结 该研究针对LLM生成Verilog代码时的性能问题,提出EAHC重排序框架,通过双通道架构融合执行与推理信号,解决现有方法的域迁移差和推理幻觉问题。
巨头基准测试:.NET生态系统中LLM代码生成质量的多维度实证评估
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
AI总结 本文提出自动化多维度评估框架,针对C#代码生成评估GPT等四个LLM,发现Pass@k排名无法反映LLM在软件工程场景的完整性能概况,还明确了GPT的双峰失败行为。
Comments 12 pages, 8 figures. Accepted at the Second Workshop on Large Language Models for Generative Software Engineering (LLM4SE 2026), co-located with STAF 2026, Rennes, France, June 29 - July 3, 2026
利用多模态大语言模型探索程序流程图在代码生成中的潜力
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
AI总结 研究利用多模态大语言模型探索程序流程图对代码生成的潜力,通过从示例代码生成流程图并与问题陈述一起提供给模型进行代码生成实验,发现结合流程图可提升性能,不同细节程度的流程图效果有差异,还比较了与少样本学习的效果。
Comments 21 pages, Accepted at the 26th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2026), Regular Papers Track
VinciCoder:通过粗到细的视觉强化学习统一多模态代码生成
机构 * Meituan(美团)
专题命中 代码生成 :code generation(title,abstract)
AI总结 VinciCoder通过粗到细的视觉强化学习框架,统一多模态代码生成,实现最先进的性能,超越现有开源模型。
Comments Accepted by EMNLP 2026 Main
评估针对大语言模型生成代码中包幻觉的推理时防御措施
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI
AI总结 本文针对LLM生成代码的包幻觉问题,修正了评估方法,评估了七种推理时防御措施,提出包效用指标,发现对抗提示下RAG与Self-Refine表现更优,明确防御需匹配威胁模型与效用。
Comments Accepted ASE 2026
SLICE:规约级别的契约执行隔离
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.PL
AI总结 SLICE是一个分阶段的代码生成框架,通过规约结构化、函数体生成、契约断言生成三个阶段,在ContractEval数据集上使代码满足功能需求与输入契约的性能平均提升6.58%。
Comments 17 pages, 6 figures, 3 tables
MOSAIC:结构化智能体智能与组合的模块化编排
机构 * Department of Computer Science, National University of Singapore(新加坡国立大学计算机科学系) ; University College London(伦敦大学学院) ; University of Edinburgh(爱丁堡大学) ; Data & Analytics, Digital X(Digital X 数据与分析部) ; Alan Turing Institute(艾伦·图灵研究所)
专题命中 代码生成 :code generation(abstract);分类 cs.AI、cs.LG
AI总结 提出MOSAIC框架,通过结构化智能体编排、记忆驱动的模型选择和蓝图构建,将自动化数据科学转化为可验证、可复用的模型选择问题,在金融时间序列任务中优于AutoML和智能体基线。
LongWoF-Bench:评估用于可验证长工作流任务的EvoMap基因
机构 * EvoMap ; Tsinghua University(清华大学)
专题命中 代码生成 :code generation(abstract);分类 cs.CL
AI总结 该研究提出LongWoF-Bench基准,发现通过EvoMap将验证的执行轨迹转化为可复用的Gene,能显著提升多模型在长工作流任务上的表现,且优于Skill和参考蒸馏的Gene。
面向地热井阵列的大型语言模型决策支持与建模
专题命中 代码生成 :code generation(abstract);分类 cs.AI
AI总结 本研究评估ChatGPT等前沿LLMs在地热领域的应用潜力,提出用NotebookLM加速生成地热基准,分析地热井阵列等技术的机遇,还展示了LLMs助力地热数值模型自动并行化的案例。
Comments 10 pages, 8 figures. Presented at the 50th Workshop on Geothermal Reservoir Engineering, Stanford University, February 10-12, 2025
基于检索的机器人程序生成与基于仿真的修正:通过模型上下文协议
机构 * Chalmers University of Technology(查尔姆斯理工大学)
专题命中 代码生成 :code generation(abstract);分类 cs.AI
AI总结 该研究针对柔性制造中机器人快速重编程需求,提出结合RAG与MCP的工作流,可生成并修正ABB RAPID机器人程序,借助仿真暴露代码执行故障,减少专家监督需求。
Comments Accepted by CIE53; to appear in the CIE53 Proceedings, Khalifa University, Abu Dhabi, UAE, October 20-23, 2026
用领域特定语言改进神经偏微分方程求解器的自动设计
专题命中 代码生成 :code generation(abstract);分类 cs.AI
AI总结 该研究提出ADSL-PDE领域特定语言,通过结构化搜索空间提升神经PDE求解器自动设计的搜索效率与优化稳定性,前十次迭代性能提升超52%。
自进化科学智能体发现可泛化的物理推理流体控制
机构 * National University of Singapore(新加坡国立大学)
专题命中 代码生成 :code generation(abstract);分类 cs.AI
AI总结 提出一种由大语言模型驱动的自进化科学智能体工作流,通过迭代代码生成和物理仿真诊断,自动构建可解释的控制器,并在欠驱动双关节狗鲨游泳器目标到达任务中实现零样本泛化。