arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-11-05 至 2025-11-05 共收录 3 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 代码生成 3 篇

2502.19610 2025-11-05 cs.AI 83%

Program Synthesis Dialog Agents for Interactive Decision-Making

Matthew Toles, Nikhil Balwani, Rattandeep Singh, Valentina Giulia Sartori Rodriguez, Zhou Yu

机构 * Columbia University(哥伦比亚大学) Amazon(亚马逊) Sciences Po Paris(巴黎社会科学高等研究院)

专题命中 代码生成 :program synthesis(title,abstract);code generation(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏
2511.02285 2025-11-05 cs.AR cs.PL cs.SE 62%

VFocus: Better Verilog Generation from Large Language Model via Focused Reasoning

Zhuorui Zhao, Bing Li, Grace Li Zhang, Ulf Schlichtmann

专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.PL

Comments accepted by SOCC 2025

详情

展开后加载摘要…

URL PDF HTML 收藏
2506.09701 2025-11-05 cs.LG cs.AI 62%

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search

Vincenzo Collura, Karim Tit, Laura Bussi, Eleonora Giunchiglia, Maxime Cordy

机构 * University of Luxembourg(卢森堡大学) Imperial College London(伦敦帝国学院)

专题命中 代码生成 :program synthesis(abstract);分类 cs.AI、cs.LG

详情

展开后加载摘要…

URL PDF HTML 收藏