评分依据:针对 AI 编码 Agent 代码库探索开销大的问题,提出形式化架构描述符作为导航原语,三实验验证显著减少无效探索,对提升编码 Agent 效率有直接参考价值
Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
原文: arxiv.org
评分依据:针对 AI 编码 Agent 代码库探索开销大的问题,提出形式化架构描述符作为导航原语,三实验验证显著减少无效探索,对提升编码 Agent 效率有直接参考价值