AI Agent

Adv-BMT: Bidirectional Motion Transformer for Safety-Critical Traffic Scenario Generation

Yuxin Liu, Zhenghao Peng, Xuanhao Cui, Bolei Zhou

机构 * University of California, Los Angeles（加州大学洛杉矶分校） 纠错

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

Endowing GPT-4 with a Humanoid Body: Building the Bridge Between Off-the-Shelf VLMs and the Physical World

Yingzhao Jian, Zhongan Wang, Yi Yang, Hehe Fan

机构 * College of Computer Science and Technology（计算机科学与技术学院） ； Zhejiang University（浙江大学） 纠错

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

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring

Changjie Wang, Mariano Scazzariello, Anoud Alshnakat, Roberto Guanciale, Dejan Kostić, Marco Chiesa

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

Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL

Sungmin Kang, Sumi Yun, Jingun Hong, Shin Yoo, Gabin An

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

Comments 11 pages, 8 figures, under review

Impartial Selection with Predictions

Javier Cembrano, Felix Fischer, Max Klimm

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

Crucible: Quantifying the Potential of Control Algorithms through LLM Agents

Lianchen Jia, Chaoyang Li, Qian Houde, Tianchi Huang, Jiangchuan Liu, Lifeng Sun

机构 * Department of Computer Science and Technology, Tsinghua University（清华大学计算机科学与技术系） ； Simon Fraser University（西蒙 Fraser大学） 纠错

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

Comments NeurIPS 2025

Proof2Silicon: Prompt Repair for Verified Code and Hardware Generation via Reinforcement Learning

Manvi Jha, Jiaxin Wan, Deming Chen

机构 * Electrical and Computer Engineering（电气与计算机工程系） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

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

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?

Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina Pasareanu, Haizhong Zheng, Beidi Chen

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

FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures

Yunsheng Bai, Ghaith Bany Hamad, Chia-Tung Ho, Syed Suhaib, Haoxing Ren

机构 * NVIDIA 纠错

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

HealthDial: A No-Code LLM-Assisted Dialogue Authoring Tool for Healthcare Virtual Agents

Farnaz Nouraei, Zhuorui Yong, Timothy Bickmore

机构 * Northeastern University（东北大学） 纠错

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

Biased-Attention Guided Risk Prediction for Safe Decision-Making at Unsignalized Intersections

Chengyang Dong, Nan Guo

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

TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code

Alexander Sternfeld, Andrei Kucharavy, Ljiljana Dolamic

机构 * Institute of Entrepreneurship & Management, HES-SO Le Foyer, Techno-Pôle 1 Sierre, Switzerland（创业与管理学院，HES-SO莱福院，技术园区1，瑞士） ； Institute of Informatics, HES-SO Techno-Pôle 3 Sierre, Switzerland（信息学院，HES-SO技术园区3，瑞士） ； Cyber-Defence Campus armasuisse, Science and Technology Thun, Switzerland（网络安全校区，armasuisse，科技，瑞士） 纠错

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

How Students Use Generative AI for Software Testing: An Observational Study

Baris Ardic, Quentin Le Dilavrec, Andy Zaidman

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

Comments 39 pages, 6 figures, journal submission

Scientific Algorithm Discovery by Augmenting AlphaEvolve with Deep Research

Gang Liu, Yihan Zhu, Jie Chen, Meng Jiang

机构 * University of Notre Dame（诺丁汉大学） ； MIT-IBM Watson AI Lab, IBM Research（麻省理工-IBM Watson AI实验室，IBM研究） 纠错

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

Comments 25 pages, 17 figures, 4 tables

DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base

Zahin Ibnat, Paul E. Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor

机构 * University of Florida（佛罗里达大学） 纠错

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

Comments 22 pages, 6 figures

Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention

Santhosh Kumar Ravindran

机构 * Microsoft Corporation（微软公司） 纠错

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

Comments 11 pages Includes simulations with over 4 million steps

Extracting Conceptual Knowledge to Locate Software Issues

Ying Wang, Wenjun Mao, Chong Wang, Zhenhao Zhou, Yicheng Zhou, Wenyun Zhao, Yiling Lou, Xin Peng

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

Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities

Simin Chen, Yixin He, Suman Jana, Baishakhi Ray

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

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

Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning

Yinjie Wang, Ling Yang, Ye Tian, Ke Shen, Mengdi Wang

机构 * University of Chicago（芝加哥大学） ； Princeton University（普林斯顿大学） ； Peking University（北京大学） ； ByteDance Seed（字节跳动种子） 纠错

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

Comments NeurIPS 2025 Spotlight. Project: https://github.com/Gen-Verse/CURE

An Empirical Study of Developers' Challenges in Implementing Workflows as Code: A Case Study on Apache Airflow

Jerin Yasmin, Jiale Wang, Yuan Tian, Bram Adams

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

Comments This is the preprint version of a paper that has been submitted to the Journal of Systems and Software

Journal ref J. Syst. Softw. 219 (2024) 112248

RALLM-POI: Retrieval-Augmented LLM for Zero-shot Next POI Recommendation with Geographical Reranking

Kunrong Li, Kwan Hui Lim

机构 * Singapore University of Technology and Design（新加坡科技设计大学） 纠错

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

Comments PRICAI 2025

A Study on Thinking Patterns of Large Reasoning Models in Code Generation

Kevin Halim, Sin G. Teo, Ruitao Feng, Zhenpeng Chen, Yang Gu, Chong Wang, Yang Liu

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

Crash Report Enhancement with Large Language Models: An Empirical Study

S M Farah Al Fahim, Md Nakhla Rafi, Zeyang Ma, Dong Jae Kim, Tse-Hsun, Chen

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

JARVIS-VLA: Post-Training Large-Scale Vision Language Models to Play Visual Games with Keyboards and Mouse

Muyao Li, Zihao Wang, Kaichen He, Xiaojian Ma, Yitao Liang

机构 * Peking University（北京大学） ； BIGAI（大疆创新） 纠错

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

Comments Accepted by ACL 2025

CritiQ: Mining Data Quality Criteria from Human Preferences

Honglin Guo, Kai Lv, Qipeng Guo, Tianyi Liang, Zhiheng Xi, Demin Song, Qiuyinzhe Zhang, Yu Sun, Kai Chen, Xipeng Qiu, Tao Gui

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

Comments to be published in ACL 2025, Code is available at https://github.com/KYLN24/CritiQ

SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories

Junhao Wang, Daoguang Zan, Shulin Xin, Siyao Liu, Yurong Wu, Kai Shen

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

Aligning Requirement for Large Language Model's Code Generation

Zhao Tian, Junjie Chen

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

Comments Accepted by ICSE 2026

Analysis of Bluffing by DQN and CFR in Leduc Hold'em Poker

Tarik Zaciragic, Aske Plaat, K. Joost Batenburg

机构 * LIACS, Leiden University, The Netherlands（利马斯研究所，莱顿大学，荷兰） 纠错

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

An experience-based classification of quantum bugs in quantum software

Nils Quetschlich, Olivia Di Matteo

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

Comments 25 pages, 4 figures. To appear in special issue of Computing, "Pivoting Quantum Computing Using Software Engineering Best Practices"