4 papers · 1 filter
ABSeeker: Training Long-Horizon Search Agents via Answer-Backtracked Credit Assignment
Yijun Lu, Rui Ye, Jiajun Wang +4
Long-horizon search agents must make multiple sequential actions (steps) to search, retrieve, verify, and integrate evidence to reach a final answer. However, existing methods for…
Taming System Complexity: Demystifying Software Engineering Agents in Diagnosing Linux Kernel Faults
Zhenhao Zhou, Zhuochen Huang, Yike He +5
The Linux kernel is a critical system, serving as the foundation for numerous systems. Bugs in the Linux kernel can cause serious consequences, affecting billions of users. Fault l…
LongSeeker: Elastic Context Orchestration for Long-Horizon Search Agents
Yijun Lu, Rui Ye, Yuwen Du +3
Long-horizon search agents must manage a rapidly growing working context as they reason, call tools, and observe information. Naively accumulating all intermediate content can over…
MIST-RL: Mutation-based Incremental Suite Testing via Reinforcement Learning
Sicheng Zhu, Jiajun Wang, Jiawei Ai +1
Large Language Models (LLMs) often fail to generate correct code on the first attempt, which requires using generated unit tests as verifiers to validate the solutions. Despite the…