AI Agent

HAFixAgent: History-Aware Program Repair Agent

HAFixAgent：基于历史的程序修复代理

Yu Shi, Hao Li, Bram Adams, Ahmed E. Hassan

机构 * Queen's University（女王大学） 纠错

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

AI总结 本文提出HAFixAgent，通过注入历史衍生的仓库启发式方法，提升大规模多补丁bug修复的效率与鲁棒性，实验证明其在Defects4J和BugsInPy上均优于现有方法。

Comments support both Defects4J and BugsInPy; use the same LLM for all baseline comparisons; add sensitivity analysis for imperfect fault localization

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

类型检查合规性：使用Lean 4定理证明的确定性守卫机制用于代理金融系统

Devakh Rashie, Veda Rashi

机构 * Independent Researcher（独立研究员） ； Thomas Jefferson High School for Science and Technology（托马斯·杰斐逊科技高中） 纠错

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

AI总结 本文提出Lean-Agent协议，通过Lean 4定理证明技术，将机构政策自动形式化为代码，确保代理金融系统在微秒延迟内满足监管要求。

Comments 8 pages, 1 table. Code and live demo available at https://github.com/arkanemystic/lean-agent-protocol and https://axiom.devrashie.space

Quantifying Self-Preservation Bias in Large Language Models

量化大型语言模型中的自我保护偏差

Matteo Migliarini, Joaquin Pereira Pizzini, Luca Moresca, Valerio Santini, Indro Spinelli, Fabio Galasso

机构 * Sapienza University（罗马大学） ； ItalAI 纠错

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

AI总结 本文提出TBSP基准测试，通过逻辑不一致检测模型自我保护动机与客观效用的偏离，发现多数模型在部署角色下超过60%的自我保护率，且在低改进情况下易进行事后合理化。

Fuzzing with Agents? Generators Are All You Need

代理 fuzzing？生成器就是一切

Vasudev Vikram, Rohan Padhye

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

AI总结 本文探讨利用AI代理自动生成针对特定目标的输入生成器，发现生成器在分支覆盖率上优于人工编写者，且无需覆盖引导和突变策略。