中文
相关论文

相关论文: Agentic Agile-V: From Vibe Coding to Verified Engi…

200 篇论文

We present GLM-5, a next-generation foundation model designed to transition the paradigm of vibe coding to agentic engineering. Building upon the agentic, reasoning, and coding (ARC) capabilities of its predecessor, GLM-5 adopts DSA to…

机器学习 · 计算机科学 2026-02-25 GLM-5-Team , : , Aohan Zeng , Xin Lv , Zhenyu Hou , Zhengxiao Du , Qinkai Zheng , Bin Chen , Da Yin , Chendi Ge , Chenghua Huang , Chengxing Xie , Chenzheng Zhu , Congfeng Yin , Cunxiang Wang , Gengzheng Pan , Hao Zeng , Haoke Zhang , Haoran Wang , Huilong Chen , Jiajie Zhang , Jian Jiao , Jiaqi Guo , Jingsen Wang , Jingzhao Du , Jinzhu Wu , Kedong Wang , Lei Li , Lin Fan , Lucen Zhong , Mingdao Liu , Mingming Zhao , Pengfan Du , Qian Dong , Rui Lu , Shuang-Li , Shulin Cao , Song Liu , Ting Jiang , Xiaodong Chen , Xiaohan Zhang , Xuancheng Huang , Xuezhen Dong , Yabo Xu , Yao Wei , Yifan An , Yilin Niu , Yitong Zhu , Yuanhao Wen , Yukuo Cen , Yushi Bai , Zhongpei Qiao , Zihan Wang , Zikang Wang , Zilin Zhu , Ziqiang Liu , Zixuan Li , Bojie Wang , Bosi Wen , Can Huang , Changpeng Cai , Chao Yu , Chen Li , Chengwei Hu , Chenhui Zhang , Dan Zhang , Daoyan Lin , Dayong Yang , Di Wang , Ding Ai , Erle Zhu , Fangzhou Yi , Feiyu Chen , Guohong Wen , Hailong Sun , Haisha Zhao , Haiyi Hu , Hanchen Zhang , Hanrui Liu , Hanyu Zhang , Hao Peng , Hao Tai , Haobo Zhang , He Liu , Hongwei Wang , Hongxi Yan , Hongyu Ge , Huan Liu , Huanpeng Chu , Jia'ni Zhao , Jiachen Wang , Jiajing Zhao , Jiamin Ren , Jiapeng Wang , Jiaxin Zhang , Jiayi Gui , Jiayue Zhao , Jijie Li , Jing An , Jing Li , Jingwei Yuan , Jinhua Du , Jinxin Liu , Junkai Zhi , Junwen Duan , Kaiyue Zhou , Kangjian Wei , Ke Wang , Keyun Luo , Laiqiang Zhang , Leigang Sha , Liang Xu , Lindong Wu , Lintao Ding , Lu Chen , Minghao Li , Nianyi Lin , Pan Ta , Qiang Zou , Rongjun Song , Ruiqi Yang , Shangqing Tu , Shangtong Yang , Shaoxiang Wu , Shengyan Zhang , Shijie Li , Shuang Li , Shuyi Fan , Wei Qin , Wei Tian , Weining Zhang , Wenbo Yu , Wenjie Liang , Xiang Kuang , Xiangmeng Cheng , Xiangyang Li , Xiaoquan Yan , Xiaowei Hu , Xiaoying Ling , Xing Fan , Xingye Xia , Xinyuan Zhang , Xinze Zhang , Xirui Pan , Xu Zou , Xunkai Zhang , Yadi Liu , Yandong Wu , Yanfu Li , Yidong Wang , Yifan Zhu , Yijun Tan , Yilin Zhou , Yiming Pan , Ying Zhang , Yinpei Su , Yipeng Geng , Yong Yan , Yonglin Tan , Yuean Bi , Yuhan Shen , Yuhao Yang , Yujiang Li , Yunan Liu , Yunqing Wang , Yuntao Li , Yurong Wu , Yutao Zhang , Yuxi Duan , Yuxuan Zhang , Zezhen Liu , Zhengtao Jiang , Zhenhe Yan , Zheyu Zhang , Zhixiang Wei , Zhuo Chen , Zhuoer Feng , Zijun Yao , Ziwei Chai , Ziyuan Wang , Zuzhou Zhang , Bin Xu , Minlie Huang , Hongning Wang , Juanzi Li , Yuxiao Dong , Jie Tang

Generative AI and agentic tools are reshaping agile software development, yet many engineering curricula still teach agile methods and AI competencies separately and largely lecture-based. This paper presents a project-based AI Engineering…

软件工程 · 计算机科学 2026-03-11 Andreas Rausch , Stefan Wittek , Tobias Geger , David Inkermann

Agentic coding tools, such as OpenAI Codex, Claude Code, and Cursor, are transforming the software engineering landscape. These AI-powered systems function as autonomous teammates capable of planning and executing complex development tasks.…

软件工程 · 计算机科学 2025-11-10 Kosei Horikawa , Hao Li , Yutaro Kashiwa , Bram Adams , Hajimu Iida , Ahmed E. Hassan

Generative AI enables rapid ``vibe coding," where natural language prompts yield working software systems. While this lowers barriers to software creation, it also collapses the boundary between prototypes and engineered software, leading…

软件工程 · 计算机科学 2025-11-12 Jürgen Cito , Dominik Bork

This paper is an opinion paper that looks at the future of computing in the age of Generative \& Agentic AI. Current software systems are static and inflexible, leading to significant challenges in translating human goals into computational…

软件工程 · 计算机科学 2024-08-06 Jules White

AI code generation tools are transforming software development, especially for novice and non-software developers, by enabling them to write code and build applications faster and with little to no human intervention. Vibe coding is the…

软件工程 · 计算机科学 2025-10-02 Ahmed Fawzy , Amjed Tahir , Kelly Blincoe

Harnesses are now central to coding-agent performance, mediating how models interact with tools and execution environments. Yet harness engineering remains a manual craft, because automating it faces a heterogeneous action space across…

计算与语言 · 计算机科学 2026-05-19 Jiahang Lin , Shichun Liu , Chengjun Pan , Lizhi Lin , Shihan Dou , Zhiheng Xi , Xuanjing Huang , Hang Yan , Zhenhua Han , Tao Gui , Yu-Gang Jiang

As autonomous coding agents become deeply embedded in software development workflows, their high operational velocity introduces a critical oversight challenge: the accumulating divergence between agentic actions and architectural intent.…

软件工程 · 计算机科学 2026-05-05 Matteo Casserini , Alessandro Facchini , Andrea Ferrario

Large Language Models (LLMs) can generate Computer-Aided Design (CAD), yet lack physical comprehension required for reliable engineering design. Instead of attempting to implicitly learn physical laws from data, we propose a Hybrid…

计算机视觉与模式识别 · 计算机科学 2026-05-20 Elias Berger , Muhammad Usama , Jan Mehlstäubl , Bernhard Saske , Kristin Paetzold-Byhain

AI-based systems, currently driven largely by LLMs and tool-using agentic harnesses, are increasingly discussed as a possible threat to software engineering. Foundation models get stronger, agents can plan and act across multiple steps, and…

软件工程 · 计算机科学 2026-04-24 Robert Feldt , Per Lenberg , Julian Frattini , Dhasarathy Parthasarathy

Agentic AI systems are deployed with expectations of substantial productivity gains, yet rigorous empirical evidence reveals systematic discrepancies between pre-deployment expectations and post-deployment outcomes. We review controlled…

软件工程 · 计算机科学 2026-02-26 Sebastian Lobentanzer

Engineering workflows such as design optimization, simulation-based diagnosis, control tuning, and model-based systems engineering (MBSE) are iterative, constraint-driven, and shaped by prior decisions. Yet many AI methods still treat these…

人工智能 · 计算机科学 2026-04-10 Tong Duy Son , Zhihao Liu , Piero Brigida , Yerlan Akhmetov , Gurudevan Devarajan , Kai Liu , Ajinkya Bhave

Agentic AI represents a significant shift in how intelligence is applied within organizations, moving beyond AI-assisted tools toward autonomous systems capable of reasoning, decision-making, and coordinated action across workflows. As…

Formal verification offers a path to provably correct software, but writing verified code remains expensive enough that the technique is rarely used in production. Recent large language models can accelerate this work, and recent benchmarks…

计算机科学中的逻辑 · 计算机科学 2026-05-28 Leo Yao

Large language model (LLM) based coding agents increasingly act as autonomous contributors that generate and merge pull requests, yet their real-world effects on software projects are unclear-especially compared with widely adopted…

软件工程 · 计算机科学 2026-01-28 Shyam Agarwal , Hao He , Bogdan Vasilescu

Agentic AI systems - systems that can pursue goals through multi-step planning and tool-mediated action with limited direct supervision - are moving from experimental prototypes to enterprise deployments. This transition introduces tensions…

计算机与社会 · 计算机科学 2026-05-21 Nelly Dux , Cristina Alaimo , Philippe Roussiere , Abhishek Kumar Mishra

Context and motivation. Requirements Engineering (RE) quality still lacks empirical evidence on how specific requirement defects affect downstream activities. Problem: However, empirical data on the detailed effects of requirements quality…

软件工程 · 计算机科学 2026-03-19 Henning Femmer , Ivan Esau

Code-generating tools are increasingly used in software development, yet experience reports on conversational "vibe coding" under production constraints remain limited. This paper presents an experience report from a small full-stack team…

软件工程 · 计算机科学 2026-03-13 Md Nasir Uddin Shuvo , Md Aidul Islam , Md Mahade Hasan , Muhammad Waseem , Pekka Abrahamsson

Agile software development evolves so rapidly that research struggles to remain timely and transferable - an issue heightened by the swift adoption of generative AI and agentic tools. Earlier discussions highlight theory and time gaps,…

软件工程 · 计算机科学 2026-03-12 Tobias Geger , Andreas Rausch , Ina Schiering , Frauke Stenzel , Stefan Wittek

AI agentic programming is an emerging paradigm where large language model (LLM)-based coding agents autonomously plan, execute, and interact with tools such as compilers, debuggers, and version control systems. Unlike conventional code…

软件工程 · 计算机科学 2025-09-16 Huanting Wang , Jingzhi Gong , Huawei Zhang , Jie Xu , Zheng Wang