AI Agent

Agentic Specification Generator for Move Programs

Yu-Fu Fu, Meng Xu, Taesoo Kim

机构 * Georgia Institute of Technology（佐治亚理工学院） ； University of Waterloo（滑铁卢大学） 纠错

专题命中 软件智能体 ：agentic(title,abstract)；分类 cs.AI、cs.SE

Comments 18 pages; Extended version of ASE'25 paper with extra appendices

MaintainCoder: Maintainable Code Generation Under Dynamic Requirements

Zhengren Wang, Rui Ling, Chufan Wang, Yongan Yu, Sizhe Wang, Zhiyu Li, Feiyu Xiong, Wentao Zhang

机构 * Center for Data Science（数据科学中心） ； McGill University（麦吉尔大学） ； Center for LLM, Institute for Advanced Algorithms Research（大语言模型中心，先进算法研究所） 纠错

专题命中 软件智能体 ：agent(abstract)；multi-agent(abstract)；分类 cs.CL、cs.SE

Comments NeurIPS 2025

Takedown: How It's Done in Modern Coding Agent Exploits

Eunkyu Lee, Donghyeon Kim, Wonyoung Kim, Insu Yun

专题命中 软件智能体 ：agent(title)

PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts

Xingshuang Lin, Qinge Xie, Binbin Zhao, Yuan Tian, Saman Zonouz, Na Ruan, Jiliang Li, Raheem Beyah, Shouling Ji

专题命中 软件智能体 ：agent(abstract)；分类 cs.SE