AI 大模型

AI Agent

智能体、工具调用、规划、工作流、多智能体和自主任务执行。

2025-10-24 至 2025-10-24 共收录 4 篇信号源：cs.AI, cs.CL, cs.LG, cs.SE

1. 软件智能体 4 篇

2510.19868 2025-10-24 cs.SE 89%

Knowledge-Guided Multi-Agent Framework for Application-Level Software Code Generation

Qian Xiong, Bo Yang, Weisong Sun, Yiran Zhang, Tianlin Li, Yang Liu, Zhi Jin

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

2505.23946 2025-10-24 cs.AI cs.LG cs.MA cs.SE 88%

Lessons Learned: A Multi-Agent Framework for Code LLMs to Learn and Improve

Yuanzhe Liu, Ryan Deng, Tim Kaler, Xuhao Chen, Charles E. Leiserson, Yao Ma, Jie Chen

机构 * Rensselaer Polytechnic Institute（拉特兰理工学院）； Massachusetts Institute of Technology（麻省理工学院）； Michigan State University（密歇根州立大学）； MIT-IBM Watson AI Lab, IBM Research（MIT-IBM沃森人工智能实验室，IBM研究院）

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

Comments NeurIPS 2025. Code is available at https://github.com/MITIBM-FastCoder/LessonL

2510.20211 2025-10-24 cs.SE cs.AI cs.LG 82%

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents

Zhenning Yang, Hui Guan, Victor Nicolet, Brandon Paulsen, Joey Dodds, Daniel Kroening, Ang Chen

机构 * University of Michigan（密歇根大学）； Amazon Web Services（亚马逊网络服务）

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

2505.13938 2025-10-24 cs.LG cs.AI cs.LO cs.PL cs.SE 67%

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

机构 * UT Austin（得克萨斯大学）； Amazon（亚马逊）； Caltech（加州理工学院）

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