AI Agent

Agentic Code Reasoning

代理代码推理

Shubham Ugare, Satish Chandra

机构 * Meta, USA（Meta公司） 纠错

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

AI总结 本文提出半形式推理方法，通过结构化提示提升代理在代码补丁验证、故障定位和问答任务中的准确性，实现无需执行的代码语义分析。

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning

R1-Code-Interpreter: LLMs通过监督学习和多阶段强化学习进行代码推理

Yongchao Chen, Yueying Liu, Junwei Zhou, Yilun Hao, Jingquan Wang, Yang Zhang, Na Li, Chuchu Fan

机构 * MIT / Harvard（麻省理工学院/哈佛大学） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； University of Michigan（密歇根大学） ； MIT（麻省理工学院） ； University of Wisconsin–Madison（威斯康星大学麦迪逊分校） ； MIT-IBM Watson AI Lab（麻省理工-IBM沃森人工智能实验室） ； Harvard（哈佛大学） 纠错

专题命中 软件智能体 ：tool-use(abstract)；planning(abstract)；分类 cs.AI、cs.CL

AI总结 R1-Code-Interpreter通过监督学习和多阶段强化学习提升LLM的代码推理能力，实现对多样化任务的高效处理，显著提升模型性能。

Comments 29 pages

LabelBuddy: An Open Source Music and Audio Language Annotation Tagging Tool Using AI Assistance

LabelBuddy: 一种利用人工智能辅助的开源音乐和音频语言标注标签工具

Ioannis Prokopiou, Ioannis Sina, Agisilaos Kounelis, Pantelis Vikatos, Themos Stafylakis

机构 * Athens University of Economics and Business（雅典经济与商业大学） ； Orfium（Orfium公司） ； University of Patras（帕特拉斯大学） ； Archimedes/Athena R.C.（阿基米德/雅典研究会） 纠错

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

AI总结 LabelBuddy是一种开源工具，利用AI辅助进行音乐和音频语言标注，通过容器化后端和多用户共识机制提升音频标注的准确性和效率。

Comments Accepted at NLP4MusA 2026 (4th Workshop on NLP for Music and Audio)

From Feedback to Failure: Automated Android Performance Issue Reproduction

从反馈到失败：自动化Android性能问题重现

Zhengquan Li, Zhenhao Li, Zishuo Ding

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

AI总结 RevPerf通过整合应用评论信息，自动化重现移动应用性能问题，实现72.73%的成功率。

Comments 22page, 8 figures

On the fair abatement of riparian pollution

关于河岸污染削减的公平分配

Ricardo Martinez, Juan D. Moreno-Ternero

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

AI总结 本文提出了一种新的几何规则，用于在河岸污染削减中平衡公平性和环境影响，并通过案例研究验证其有效性。